똥싸기
게시글 주소: 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를 선물하세요.
-
수잘싶 2
나중엔 어떤걸 하게 될까, (수학중에서)
-
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다
-
내 소중한 오르비에 자꾸 사나운 글들이 올라오면 슬퍼져요ㅜㅜ
-
대박이네
-
전 학벌뽕 잇음 2
엥
-
???
-
월드컵은 우리나라에서 다시 한번 하면 보러는 갈 듯... 3
02 월드컵은 초등학생 때 운좋게 몇몇 경기는 공짜로 봤습니다.우리나라 경기나 몇몇...
-
흐흐흐
-
고전소설 다 틀리는 고전 노베 새기분 들어도 될까요 강기분부터 들으려고 했는데 어떤...
-
난시간이없어~ 4
어 존나
-
확실히 3
병원같은데 가도 의사선생님 보면 오...하고 밑에 약국가서 할머니약사님 봐도...
-
이러니까 실력이 늘 수 밖에 없지 ㅋㅋㅋㅋ 바~로 구매
-
화학 벽느껴지네 6
기출 풀고있는데 화학식량과 몰 까지는 ㅈㄴ 잘풀리는데 화학반응식 드가니깐...
-
잘자요 4
-
있을리가
-
덮 보정 평백 280대 뜨면 평가원도 280뜨고 덮 보정 평백 290대 뜨면...
-
덕코 다 뿌림ㅇㅇ 모두 행복하고 편안한 밤 도ㅔ시구요 즐거운 새르비하세여 먼저 자요
-
집이다! 5
집이다아아아아ㅏ아아!!!!!
-
기하 갈아타야지 2
미적 뼈빠지게해도 8개 아니 7개 맞힐 자신 없음 기벡? 대충 7개는 무조건 맞힘
-
Iq 113인데 국어 5임ㅠ
저녁 뭐드심 쿠리햄
잡채밥이요