I assumed that Richard meant the incompleteness theorems, of which the first is quite easy to boil down to one insight (the liar paradox but with provability).
I assumed that Richard meant the incompleteness theorems, of which the first is quite easy to boil down to one insight (the liar paradox but with provability).