똥싸기
게시글 주소: 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외국어 0
매년 달라지나요? 아니면 문제 말고 거의 똑같나요?
-
-
수2 22번 척결하자 척결하자
-
아오아이패드야 15
아르케아하는중에프레임드랍되는거대체언제고칠래
-
이기상쌤 이모다 3
2026버전은 시즌이 안 나눠져 있는건가요? 비타민 교재에만 존재하는데 어떤 시스템인가여..ㅠ
-
오늘 더프보고 경악함 사탐런 하고시픔
-
혹시 더프가 2
소위 말하는 1등급 컨텐츠 인가요..? 작수 미적 높 3 떴고 더프 수학만 찍먹으로...
-
더프보고 벽느껴서 12
기출하면서 엔재 추가해도 되나요? 너무 충동적인가요? 상위권분들 조언 부탁욤
-
항공대 교통물류 0
진짜 이해가 안가서 그러는데 자유전공(사회적성)으로 들어가도 교통물류로 갈 수...
-
제발요...
-
-
22번 수열란 폰트 eq인것만 봐도 알수있음
-
공부를 하지 않아도 3등급 받기 가능한데 공부를 빡세게 해도 3등급 받기 가능함
-
안녕아세요 4
더프 볼까여 말까요
-
원래도 정신질환잇어서 좀 힘든상황에서 고3 수험생활중인데 힘든일들이 최근 한달안에...
-
잘생기기만해서는안돼요
-
이 옷 아는사람 0
이 옷 어디브랜드인지 아시는분 있나요??
-
물론 사람마다 잘하고 못하는게 있어서 체감 다르긴할텐데 국어는 쉽게나온거같고 수학...
-
65 43 76 34 26 주변에 나보다 못본 사람 본적 없는듯. ( 다시봐도 저...
-
런치고 첨보는 시험이라 난이도가 감이 안 잡히네요
-
ㅈㄱㄴ 3덮 덮 더프 국어 수학 영어 생1 지1 더프리미엄
-
생각해보니까 뱃지 에피 센츄잖아 전국 상위 몇프로인데 당연하거였네 이 사람들 싹빼면...
-
암기 존나싫다진짜 11
근데 내 인생이 걸린 게 왜 다 암기냐
-
그래서 너드남 공식이 14
안씻고 안경쓰고 여사친없고 아무것도 모르는 모솔인거 맞죠?
-
보통 비슷하게 보나요? 아니면 더프나 평가원을 더 잘보나요...?
-
언매 86점 보정 2는 나올까요 ㅠ 많이 쉬웠다고들 하니 슬프네요ㅜㅜ
-
2025년 목표 0
적어도 한의대는 붙는다. 그래야 삼반수할 명분이 생기고, 2026년에는...
-
둘다 의대권이엿는디
-
다시 화학책이나 펴볼까….
-
화작 94 확통 69 사문 45 지1 29 허수여서 보정등급컷이 중요합니다 대충...
-
밥먹을사람 없어서 12
매점 빵 가져와서 방에서 먹고있는 비식은 7ㅐ추
-
놀사람이없어
-
3덮 수학 실수 1
.... 22 30만 나간줄 알았더니 24번 뭐야.... 당연히 3차항 적분 하고...
-
Deus Ex Mathematica 구글에 치면 나옴 그래... 서버 돌릴 컴퓨팅...
-
적백 언매 100은 걍 확정인가 미쳤네 진짜
-
아오 더프시치 5
수학 다풀고 50분 남아서 잤는데 15번에 8+4-2=12라고 쳐해서 틀렸네 ㅋㅋ...
-
작수 수학성적 4받은 재수생입니다 현재 양승진 기초코드 60퍼까지 나갔는데 우연히...
-
ㅈㄱㄴ
-
1) g(베타)=-g(알파)임 파악할수있니? 2)y=루트x와의 교점으로 알파를...
-
반수생의 3덮 0
너무 오랜만에 치는 거라…ㅠ 국어 98 수학 88 물리 47 생명 46
-
어떻게 이런일이 일어나냐
-
무보정 1컷 84-85 잡힐거같음 공2 미2 이렇게 봤음
-
(국어) 3모보다 더 긴장됨
-
물리 24점임 0
진도나간곳까진 다맞은거같은디
-
재수생 공부량 1
재수생분들 한 달 수학 공부량 얼마나 되시나요? 3월부터 재수 시작했는데 감 싹 다...
-
사문어땠음 1
-
ㅈㄱㄴ… 덮 어느정도로 못 봐야 하나요
-
일단은 공통끝내고 미적 드갈려고하는데 좀 그럼
저녁 뭐드심 쿠리햄
잡채밥이요