똥싸기
게시글 주소: 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를 선물하세요.
-
ㅈㄱㄴ
-
겨울방학 목표는 거창했지만... ㅎ.. 중간에 선생님도 바꾸고 선택과목도 바꿔서...
-
경제황분들 외부 경제/불경제랑 관세 팁 있으신 분들 있나요 ㅜㅡㅜ
-
더프 지각 3
러셀에서 외부생 입장이 8시10분까지였는데 10분지각해서 입장 불가능하다네요 이런...
-
[소개 및 성적인증] https://orbi.kr/00071877183 안녕하세요...
-
개강하고 나서 0
몸이 병신이 됐다 진짜야 지금 감기 걸려서 골골대고 있어
-
답이 없어요 3
아니 진짜 답이 안보여요
-
생윤 커리 0
현재까지 리밋만 들었고 기시감은 사놨는데 아직 하나도 안풀었습니다.. 여기서...
-
이제자야겠다 0
내일도아침수업임 ㅂㅂ
-
평균 4에서 정시 1년 반? 정도 공부하고 국숭 문과 가면 잘한 거임?
-
커뮤를줄여야되는데진짜
-
美 원자로 SW 韓 유출시도 작년 적발…민감국가 지정 영향 준듯 1
미국 에너지부 산하 연구소의 도급업체 직원이 수출통제 대상인 원자로 설계...
-
가는 대로 맡겨두고
-
자장자장 우리 아가잘도 잔다 우리 아가자장자장 우리 아가잘도 잔다 우리 아가꼬꼬닭아...
-
학교생활 너무 어려움.. 선배들도 잘해주고 25학번 애들도 잘해주는데 공식적으론...
-
잘자라 우리아가 앞뜰과 뒷동산에새들도 아가양도 다들 자는데달님은 영창으로 은구슬...
-
옆에 분 코골면서 개꿀잠 주무신다 뭔가 웃김
저녁 뭐드심 쿠리햄
잡채밥이요