지식로그

[질문] 괴델의 불완전성으정리를 논리정연하게 설명해주삼

조회수 174 | 2007.09.09 | 문서번호: 769454

전체 답변:
[지식맨]  2007.09.09

자연수론을포함하는무모순인 모든 공리계 A에 대하여,A에는결정 불가능한명제들이 존재한다.즉, A안에는G 또는 ~G를 A 안에서 증명할 수 없는 명제 G가 존재한다



지식로그에서 자체 제작한 쇼츠 영상입니다.

🙏 클릭 부탁드려요. 사이트 운영에 큰 도움이 됩니다.

[무물보AI] 답변 로딩중...

댓글 달기:
이전 질문:

다음 질문:

비밀번호를 입력하세요.