똥싸기
게시글 주소: 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를 선물하세요.
-
[단독] 육군사관학교, 홍범도 장군 흉상 '존치' 최종 결정 1 2
지난 2023년 여름 크게 논란이 됐던 육사의 홍범도 흉상 이전 계획이 최종적으로...
-
어케어케 싸게 공짜로 몇개 구해왔다. 곧 리뷰 올림
-
시대인재 단과 서바이벌 1 0
이거 지금은 시간표가 안나온건가요? 언제부터 등록이 가능한가요? 6모이후부터 다닐 생각인데...
-
스카 빌런은 거의 다 남자인듯 6 1
한남시발
-
Q. 순자: 음악은 사회 혼란을 일으키는 원인이 될 수 있다. 4 0
이번 5모인데 해설지랑 gpt랑 대립되네요. 물론 해설지가 맞겠지만 이유가 안나와서...
-
점심겸 저녁메뉴 추천받음 0 0
엄카 조질거임
-
어려서 그랬다는 합리화도 본인까지 완벽히 속여야 가능한 것ㅇㅅㅇ
-
무휴반 화학 1 0
무휴반으로 최저맞출려는데 제일 높은게 3합6이라 국영탐만 공부하려하거든요 언미영화생...
-
에구 기찮아
-
오르비는 왜 대체 8 2
비추가 없노
-
충성! 2 0
이르메라 갔다가 치약!
-
난 포퓰리즘이 너무 싫다 5 2
정말 미치도록 싫다
-
미적분 28, 29번급 n제 6 3
없나영 추천부탁
-
읽어봤는데 북한인민을 돕겠다는게 아닌거 같은데? 3 2
북한 주민이 아니라 탈북민 인권 지원 취지로 얘기한걸듯 한데... 저 맥락에서...
-
내일 이감 3-3리뷰 올림 2 2
지문 허락은 못 받아서 그냥 거시적으로만 함 전 문항 해설 쓸 예정 덕코를 주시면...
-
2등급도 킬캠 푸셔도 됩니다~ 0 0
풀어봐요 ㅎ
-
길고양이 핥기 8 1
-
질1문2받음 8 1
안해주면 삐짐
저녁 뭐드심 쿠리햄
잡채밥이요