똥싸기
게시글 주소: 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를 선물하세요.
-
21111 95/98/1/정법사문 5048입니다
-
진리를 꿰뚫는다
-
강에 침수시키겠다
-
흠..
-
꺼라
-
그게 나야 바 둠바 두비두밥~ ^^
-
흠..
-
겁나 하기 싫다 진짜
-
ㅊㅊ
-
내게 허락된 건 3
힘겹기만 한 거친 미래라 해도~
-
제목은 교과외라고 했지만 실제로 완전 교과외는 아닙니다ㅋㅋ 1. 사람의...
-
https://orbi.kr/00072740989 일단 다음 글도 국어사 쪽으로 써...
-
박나래 ‘55억 단독주택’에 도둑 들었다… 수천만원 금품 도난 1
방송인 박나래가 집에 도둑이 들어 수천만원 상당의 금품을 도난당했다. 8일 박나래...
-
미적 쌩노베면 2등급 찍는데 얼마나 걸림
-
안녕하살법~ 1
치카 넨도돌 귀여움
-
답정너들 팁 줌 2
지피티한테 말하면 듣고 싶은답 기가 막히게 잘해주니까 거기가셈
-
역대급 정신아픔 3
내신공부해야하는데 공부할멘탈이아님 하… 계속 내신 드가지도 않는 생윤공부만함 이래도되는거맞나 싸갈
-
후가휴다휴다휴가가가가가각 휴가 갈래..
-
유래 깊은 아구몬 수능 시계 이거 알면 좀 틀딱임
-
프사 맘에든다 2
ORANGE
저녁 뭐드심 쿠리햄
잡채밥이요