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