똥싸기
게시글 주소: 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를 선물하세요.
-
잘자라 우리아가 앞뜰과 뒷동산에새들도 아가양도 다들 자는데달님은 영창으로 은구슬...
-
옆에 분 코골면서 개꿀잠 주무신다 뭔가 웃김
-
수능치지말까..싶음
-
내가 없을때 0
흥미로운 일이 일어난단 말이지
-
피곤한데 0
안피곤하다
-
only 서연고중 ㅋㅋㅋ
-
시험 많이 쉬운 편이었나요 독서 어휘문제 틀려서 98점인데; 풀면서 심멘 유튜브에서...
-
뱃지 그림은 누가 그린건가요?? 뱃지 다 훔치고싶어요 귀엽게 생겻어요…… 오르비...
-
요새 누구 강의가 더 선호도 높음?
-
그냥 막연하게 아직 3모도 안 쳤는데 시간 많이 남았지 생각했는데, 오늘 되면서...
-
이원준이지 ㅋ
-
애들 담임이 나 고2때 정시공부로 다이다이깐 선생임 ㄷㄷ 사립여고라 그런지 아직도...
-
잘 지내던데
-
시간이 줄줄 샌다
-
창문 밖 보기 전까지 13시간 자버려서 수업 결석한줄 알고 ㅈㄴ 당황했네
-
더프 봐봤는데 0
아직 많이 부족하다는걸 깨달앗습니다….
-
션티 0
너!!!!!!!!!!!!무좋아 조교분들도다너뮤죠앙
-
지금 임정환 리밋만 둘 다 듣고 기출분석은 하나도 안했는데 임정환 임팩트 들으면서...
-
미적이 표점이 높다는건 그나마 공/선 똑같이 틀렸을때 얘기잖음 그것마저 작년은 거의...
-
수학 선택과목 0
안녕하세요 현재 고3 현역 인데 3덮 미적 73 공통 11,20,21 선택...
저녁 뭐드심 쿠리햄
잡채밥이요