'이 문장은 거짓이다'에서 '거짓'을 '증명할 수 없다'로 바꾸면 1931년 괴델의 불완전성 정리가 됩니다.<br /><br />거짓말쟁이·이발사·커리의 인쇄기·튜링의 정지 문제까지 열 개의 고리를 해부합니다.