GEB ~32 오랜 시간이 지난 후 예전에 읽은 글을 다시 보면 그 때 생각이, 그리고 그 때부터 지금까지의 감상이 겹쳐 또 새로운 생각을 낳는다. 일부라도 어떤 수학적 공리에 기초한 체계는 그 자체의 이론으로 맞다, 틀리다를 증명할 수 없는 명제를 갖고 있다. 이것만으로도 엄청한 문제인데, 진짜로 더 큰 골치거리는 0, 1, 2, 3, 4. 이런 정수를 갖고 노는 이보다 더 직관적일 수 없는 정수론 체계에서 조차 이런 엄청난 구멍이 있다는 것이다. 내말은 모두 거짓말이야. 이 말 맞나, 틀리나? 증명할 수 있나? 가능하지 않다. 억지로 짜 맞추려 하면 체계가 너무 단순화하게 되어, 그 체계에서 할 수 있는 재미있는 일이 별로 없게되니, 이것 재미없다. 우리 마음을 멍청한 로보트처럼 모델할 수는 있지만,..