똥싸기
게시글 주소: 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일의전사 7
머리에 든거없음
-
며칠전부터 방금까지 총 세마리 집 좆됐다 ㅅㅂ ㅋㅋㅋㅋㅋㅋㅋㅋ
-
이신혁T 시즌1 2
OZ 개념 기출 끝내고 아직 개념이 부실한 느낌이 들어서 이신혁T 시즌1 VOD...
-
지금 뉴런 공통하고 미적분 시작한지 한달정도 됐고 전체 반정도 한 거 같은데 보통ㅇ...
-
머할라고 했더라
-
아니 호요버스야 1
붕스 2주년은 엄청 미뤄주네 원신 4주년은 20뽑 이벤트 하나로 퉁쳤으면서 겁나...
-
.......ㅠ
-
그래도 난 수시러긴한데 개학하니까 공부할시간이 너무 없음 학교 다니면 공부 이외에도...
-
매우 정상적이네
-
담당일진이 날 수학으로 조팬다면 난 그 수학을 부셔버릴것
-
님들은 뭐할거임
-
지금 벚꽃 1
만개 했나요? 석촌호수 여의도 서울숲 어떤가요
-
대체... 언제... 끝나는... 거야...
-
와 마약이 나라 턱 밑까지 기어들어올라왔놐ㅋㅋㅋㅋ
-
학벌이 필요하다는 주장은 구분해줘야함 난 전자는 동의하고 후자는 동의하지 않음
-
CNN 재밌노
-
In April, a study published in Nature observed...
-
Are we the baddies 걍 존나 웃김
-
절대유사소수임
-
약대/약사 관련도 좋고, 그 외 질문도 환영입니다!시험공부 하기싫어서 왓어요ㅎ
저녁 뭐드심 쿠리햄
잡채밥이요