7 ms·The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf]9 points by urish 11y ago