Church's Theorem extends the incompleteness proof given of Gödel in 1931. 교회의 정리 불완전한 괴델의 증명은 1931 년 특정 확장합니다.
3 Second incompleteness theorem 3.1 제1 불완전성 정리의 증명
2 First incompleteness theorem 2.2 제2 불완전성 정리
Of course Gödel published his incompleteness theorem just at the time Gentzen was beginning his work. 물론 괴델 단지 시간 Gentzen 그의 작품을 시작했다 그의 불완전 정리 발표했다.
Hence they are not in the Supreme as of his present status of incompleteness and consequent growth. 그러므로 불완전하고, 따라서 성장하는 최상위 의 현재 상태의 시점에서, 그들은 최상위 안에 있지 않다.
