Skip to content
Better HN
The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf] | Better HN