최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.143
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[06:51:29] 세종특별자치시
[23:39:28] 세종특별자치시
[23:37:22] 인천광역시
[23:37:04] 인천광역시
[23:35:30] 대한민국
[23:34:58] 울산광역시
[23:33:10] 부산광역시
[23:31:31] 광주광역시
[23:30:59] 대전광역시
[23:29:16] 대구광역시
돌아가기
삭제
이동
파일 올리기
페아노 산술
(편집) (2)
(편집 필터 규칙)
1093,inf
== 이론의 일관성 == [[괴델의 불완전성 정리]]에 의해, 페아노 산술의 일관성은 페아노 산술 내에서 증명될 수 없다. 하지만 겐첸에 의하면, [math(\varepsilon_0)]의 well-foundedness를 가정하면 페아노 산술의 일관성을 증명할 수 있다. 또한, ZF와 같은 강력한 이론들은 페아노 산술의 일관성을 증명할 수 있다. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
== 이론의 일관성 == [[괴델의 불완전성 정리]]에 의해, 페아노 산술의 일관성은 페아노 산술 내에서 증명될 수 없다. 하지만 겐첸에 의하면, [math(\varepsilon_0)]의 well-foundedness를 가정하면 페아노 산술의 일관성을 증명할 수 있다. 또한, ZF와 같은 강력한 이론들은 페아노 산술의 일관성을 증명할 수 있다. [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기
