산술을 위해 제안된 모든 공리 집합은 일관적이거나 모순이 도출될 수 없음 완전하다 (모든 산술 명제에 대해 예 또는 아니오를 말할 것이다)는 것을 증명한다. 즉, 완전한 산술을 포함할 만큼 충분히 강력한 모든 체계 또는 공리 집합은 비일관적일 것이다 적어도 하나의 질문에 대해 예와 아니오를 모두 말할 것이다. 이 정리는 구 지구 원자 시대의 체코 수학자 쿠르트 괴델의 이름을 따서 명명되었다.
관련 주제
개발 노트
글: M. Alan Kazlev
Anders Andberg의 트랜스휴머니스트 용어에서
최초 게시일: 2001년 10월 31일.
Anders Andberg의 트랜스휴머니스트 용어에서
최초 게시일: 2001년 10월 31일.