The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf]

No comments yet.