똥싸기
게시글 주소: https://orbi.kr/00072484676
불완전성 정리
제1정리. 페아노 공리계를 포함하는 어떠한 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 체계가 무모순이라면, 그 체계에서는 참이면서도 증명할 수 없는 명제가 적어도 하나 이상 존재한다.
제2정리. 페아노 공리계가 포함된 어떠한 공리계가 무모순일 경우, 그 공리계로부터 그 공리계 자신의 무모순성을 도출할 수 없다.
"페아노 공리계를 포함하는 어떠한 공리계"=B
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제1정리
B는 무모순인 동시에 완전할수 없다
B가 무모순이라면 B는 불완전하다
무모순=참
B가 참이라면 B는 불완전하다
대우명제
B가 완전하면 B는 거짓이다
ㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡㅡ
제2정리
B가 무모순이면 B로부터 B의 무모순성을 증명할수 없다
B가 참이면 B로부터 B가 참임을 증명할수 없다
대우명제
B로부터 B가 참임을 증명할수 있으면 B는 거짓이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
쿠쿠리.
-
괜히 쫄앗네
-
반수가 마렵구나…
-
1저자 아닌것도 다 합친거같긴한데 그래도 말이되나 보통 1저자아닌것까지합치면 몇편쓰지
-
흐물흐물 3
물컹말랑
-
n=4 3
올해는 정말 다르다ㅋ
-
국어-리트 수학-논술 영어-특기자, 편입 근데 수논 영어 정도가 선택지는 다양하고...
-
를 뭐라그래여? 난 이 욕구+인정욕으로 동작하는데
-
여름엔 덥게~ 1
겨울엔 춥게~ 여름엔 덥게~ 겨울엔 춥게~
-
친구 세명한테 총합 8만원 빌려서 샀다 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
PV=nRT 3
문과님에겐 이런 꿀과목은 너무 쉽단말이다
-
고2 수학 4등급인데 2분컷함. 이게 맞나.. 오답률 80퍼센트치곤 직관적으로 보였음.
-
-
난 진짜 정보적 황금을 연성하는 논리연금술사다... 1
어떻게? 걍 땅파서
-
징징 1
이맘님 그립읍니다 사실 누군지 잘 모르는데 이 분 그리워하는 사람이 많음
-
『자기현시』 1
개간지나는 단어임
-
엔더드래곤 못잡아봄
-
지랄 장냔하냐고 아 ㅁ뒤어시잘
-
2025학년도 수능 43443(사탐) 나왔는데 인가경 갈라면 어느정도 나와야 하나요?
-
3시간이면 많은건가요
저녁 뭐드심 쿠리햄
잡채밥이요