지식로그

[질문] 괴델의불완전성정리에대해서술해주세요

조회수 203 | 2008.03.05 | 문서번호: 2716756

전체 답변:
[지식맨]  2008.03.05

산술을 형식화한 형식체계에서 그 체계가 무모순적인 한, 참이지만 증명할 수 없는 문장(논리식)이 적어도 하나 이상 존재한다는 정리입니다.



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

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

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

댓글 달기:
이전 질문:

다음 질문:

비밀번호를 입력하세요.