똥싸기
게시글 주소: 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를 선물하세요.
-
걍이렇게태어났나봄
-
6모만 보고 달릴려고요
-
윤통 기각될까? 1
지금 헌재는 3:5,4:4정도 되는거 같던데
-
https://orbi.kr/00072485160 어린이날 기념으로 어린이 문제...
-
그래도밖에서만났으면그리싫지않았를텐데존나쩝쩝대씨발
-
푼 순서대로 점수 기록해 두는 게 나을까요? 아니면 실모별로 점수 기록하는 게...
-
눈물의 삼수생..
-
내가 남자라 그런가?
-
기구한 인생
-
사탐하고싶다 4
나도즐겁고행복하게쌍윤하면서공부하고싶다 과탐필수에라이
-
믿어줄거에요?
-
헉헉
-
제발..
-
아 한 발 빼야겠노. 슨상님 미치겠으요❤️
-
이거 전공책같이 무거운책도 잔뜩 수납해도 안전한가요???
-
친구랑 얘기하다 개터졋네 ㅋㅋㅋㅋ
-
공통 5번부터 10번까지가 없는데 누가 올려보ㅓ요 ㄱㄱ
-
한때 랭커까지 갔던 ㅈㄴ 추억의 갬이었는데
-
더프 쳐야하는데 인정결석 해줘야지 ㅅㅂ
-
대성 패스 사서 듣고 박선우t 듣고 있는데 듣고 있으면 이게 맞나 싶기도 해서...
저녁 뭐드심 쿠리햄
잡채밥이요