똥싸기
게시글 주소: 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를 선물하세요.
-
흐흐흐
-
너무 발상이 심한 문제?같은 거 걸러도 되려나요 저는 발상이라는 것이 고등학교에서...
-
고전소설 다 틀리는 고전 노베 새기분 들어도 될까요 강기분부터 들으려고 했는데 어떤...
-
합격할까요..? 8
언매 97-98 미적 1 99-100 영어 2 물리1. 100 지구1. 100 이면...
-
난시간이없어~ 4
어 존나
-
확실히 3
병원같은데 가도 의사선생님 보면 오...하고 밑에 약국가서 할머니약사님 봐도...
-
이러니까 실력이 늘 수 밖에 없지 ㅋㅋㅋㅋ 바~로 구매
-
화학 벽느껴지네 6
기출 풀고있는데 화학식량과 몰 까지는 ㅈㄴ 잘풀리는데 화학반응식 드가니깐...
-
잘자요 4
-
있을리가
-
-
덮 보정 평백 280대 뜨면 평가원도 280뜨고 덮 보정 평백 290대 뜨면...
-
덕코 다 뿌림ㅇㅇ 모두 행복하고 편안한 밤 도ㅔ시구요 즐거운 새르비하세여 먼저 자요
-
집이다! 5
집이다아아아아ㅏ아아!!!!!
-
기하 갈아타야지 2
미적 뼈빠지게해도 8개 아니 7개 맞힐 자신 없음 기벡? 대충 7개는 무조건 맞힘
-
Iq 113인데 국어 5임ㅠ
-
더프수학 난이도 7
‘더프치고는’ 꽤 쉬운거같긴 한데 그래도 웬만한 평가원보단 훨 어려운거같음 전 2506보단 빡센듯
-
문학 코드까지 다 있는거 보면 혜잔데 ㄹㅇ? 36강이면 뉴런만 보다가 봐서 이런건가
-
자전을 가자
-
전 대충 An 야매로 주기 잡고 f(n)은 n/18 잡아버리고 근사때리니 18/3...
저녁 뭐드심 쿠리햄
잡채밥이요