똥싸기
게시글 주소: 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. 사람의...
-
https://orbi.kr/00072740989 일단 다음 글도 국어사 쪽으로 써...
-
박나래 ‘55억 단독주택’에 도둑 들었다… 수천만원 금품 도난 1
방송인 박나래가 집에 도둑이 들어 수천만원 상당의 금품을 도난당했다. 8일 박나래...
-
미적 쌩노베면 2등급 찍는데 얼마나 걸림
-
안녕하살법~ 1
치카 넨도돌 귀여움
-
답정너들 팁 줌 2
지피티한테 말하면 듣고 싶은답 기가 막히게 잘해주니까 거기가셈
-
역대급 정신아픔 3
내신공부해야하는데 공부할멘탈이아님 하… 계속 내신 드가지도 않는 생윤공부만함 이래도되는거맞나 싸갈
-
후가휴다휴다휴가가가가가각 휴가 갈래..
-
유래 깊은 아구몬 수능 시계 이거 알면 좀 틀딱임
-
프사 맘에든다 2
ORANGE
-
수능날만 미끄러지는 애는 거의 없는듯 ㄴ통계적으로ㅇㅇ
-
쿠쿠리.
-
괜히 쫄앗네
-
반수가 마렵구나…
-
1저자 아닌것도 다 합친거같긴한데 그래도 말이되나 보통 1저자아닌것까지합치면 몇편쓰지
-
흐물흐물 3
물컹말랑
-
를 뭐라그래여? 난 이 욕구+인정욕으로 동작하는데
-
여름엔 덥게~ 1
겨울엔 춥게~ 여름엔 덥게~ 겨울엔 춥게~
-
친구 세명한테 총합 8만원 빌려서 샀다 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
고2 수학 4등급인데 2분컷함. 이게 맞나.. 오답률 80퍼센트치곤 직관적으로 보였음.
저녁 뭐드심 쿠리햄
잡채밥이요