똥싸기
게시글 주소: 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뜨는 과목도 아니고
-
2025학년도 안양대 수시, 정시 입시 결과 : 네이버 블로그
-
확통가능에 사탐가능에 탐구1과목 맞나요?
-
아 조울증 ㅅㅂ
-
뭔 더프냐 1
야식이나 먹자
-
더푸 화이팅 1
해요
-
수능에서 15 21 22 안풀고 나머지 번호 집중적으로 공부해서 2등급 안정적으로...
-
과탐 원과목과 투과목 중에서 고민하고 계시는 분들이 있다면 이 글을 읽어보시면 좋을...
-
시발교수도빡침 0
첫과제내주는데 수업때 내는게 아니라 실험실로 와서 제출하라길래 정확한 기한...
-
100점나옴 ㅅㅅ
-
-
걍이렇게태어났나봄
-
6모만 보고 달릴려고요
-
윤통 기각될까? 1
지금 헌재는 3:5,4:4정도 되는거 같던데
-
https://orbi.kr/00072485160 어린이날 기념으로 어린이 문제...
-
그래도밖에서만났으면그리싫지않았를텐데존나쩝쩝대씨발
-
푼 순서대로 점수 기록해 두는 게 나을까요? 아니면 실모별로 점수 기록하는 게...
-
눈물의 삼수생..
-
내가 남자라 그런가?
-
기구한 인생
저녁 뭐드심 쿠리햄
잡채밥이요