암묵 가정. 공리. 명확한 용어. 논리 규칙. 무모순. 형식.

공리로 간주하는 것으로부터 출발하여 복잡한 정리들을 이끌어냈고 423쪽에 이르러서야 하나의 단순한 명제를 증명하게 되었다. 만물에 감춰진 모든 비밀을 알게 된 것처럼 기쁨을 주체하지 못했고 발견의 최전선에서 활동했던 사실로 하여금 모종의 희열감에 사로잡혔다.


형식논리라는 토대.
엄밀한 기반 위에서-