똥싸기
게시글 주소: 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를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 37
-
추가모집 인원 1 0
많이 늘었네요 다행이당 특히 숭실대 2명->18명됐네요
-
재수생 스블 미적 ㄱㅊ? 1 0
뉴런은 나한테 좀 안맞았었고 공통은 스블 확정인데 미적은 현역때 쎈발점 + 기출...
-
초록색눈 죽어도 못잊음 백인우월주의를 잠깐 경험했음
-
화작 미적 영 생1 지1입니다 89 91 2 80 89 어딜써야할지 모르겠네요
-
[무료배포] 2027 Frontier 모의고사 1회 배포 21 61
● 6번 문제에서 구하는 값을 a³+b³으로 고쳤습니다. (파일 수정 완료) ●...
-
Hi 2 0
-
사문 끼고 생윤할지 세사할지 고민만 계속 하다가 이성적으로는 생윤이 맞는데...
-
19만전자 ㄷㄷ 4 1
20만전자 고고
-
?
-
계속 계엄사과해라, 한동훈과 손잡아라 이러다가 매우좋지않은일이 생길수있음
-
ㄹㅇ 얼탱이없네 8 0
애미 ㅋㅋㅋ
-
박근혜부터 이승만까지 아무나 환생시켜서 대통령시키면 33 2
적어도 지금보다는 나을듯 핵대중 제외하고 (MB랑 박은 살아있음)
-
고등들어가면 0 0
학기중에 수능이나 선행에 투자할 시간 좀 있음?
-
제로아이스티 이새끼랑 안맞나봄 3 0
이새끼 하나 사먹었다가 오늘 아침에만 화장실을 세번을갔네
-
정원오인가 그런 뭔 내로남불 반일친중새끼가 되는건 못보는데
-
이지랄하는 이중적인새끼들 왜이리 혐오스럽지 당장 주변 어른에도 많고 민주당애들...
-
출근 26일차 2 1
아무 생각도 없다
-
코스피 7500간다 3 1
ㅇㅇ.
-
수신 올클함 3 0
나이스!!!
-
처리속도랑 공부랑 연관 4 0
105 뜸... 나 대가리 느리게 돌아가는 건 진작 알았어서 사탐런했는데 이거랑...
-
어릴 땐 정말 많이 울었는데 2 0
지금은 슬프고 죽고싶어도 눈물이 안나옴
-
수학기출 3 0
수학기출 한번도 제대로? 돌려본적이 없어요 그래서 기출을 돌려보려하는데 어떤...
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 26학번을 찾습니다. 0 0
안녕하세요! 서울대 커뮤니티 스누라이프 새내기맞이단입니다!서울대 26학번 합격자...
-
동국대 경영 추가모집 1 1
화작 확통 사문 정법 97 88 3 95 86 반수할건데 동국대 경영 되려나
-
Gemini 3.1 수능만점 5 1
ㄷㄷㄷㄷ
-
기숙학원 다녀보신분 15 3
아 너무 힘들걱같아 죽을것같아 2락년까지다니고 기숙학원일니 말도안돼 하지만 내가...
-
인강민철 3호 0 0
대치러셀에서 강민철 현강 듣고 있는데, 새기분 받으면서 인강민철 3호도 같이 받았었나요?
-
[속보]장동혁 "윤석열 1심, 충분한 근거, 설명 못내놔" 26 8
20일 장동혁 국민의힘 대표
-
강민철 붙들고 있는거 맞나요? 5 0
강기분 완강 때리고 새기분 듣고있는데 실력이 는거 같은 느낌 전혀 안들고 이새끼처럼...
-
김볶 안해주던데 7 1
웬일로 만들어 주신다 하는거지 야호
-
수특 연계 예상 2 0
나는 낡은 털신 밑에서 뽀드득거리는 소리가 나도록 성큼성큼 무릎을 들어 발걸음을...
-
국어 공부법 도와주세요! 0 0
강민철 강기분 듣고 있는데 강기분 지문, 인강민철 외에 체화하면서 연습하고 싶은데...
-
군생활하면서 의미있는 것 좀 해볼라고 지역 소외계층 친구들 대상으로 교육 봉사...
-
올클 성공ㅅㅅ 0 0
와캬퍄
-
사탐공댄데 물2까지 해야함? 4 0
물1화1 아예 모르는데 수능특강이나 개념책으로 한번 보고 가면 따라잡을수있나.....
-
혐중이 애국이다 2 5
-
이사람 중국인임? 26 9
우리나라 입장에서 중공은 잠재적 적국 아닌가? 혐오할 이유는 차고 넘친다고 생각하는데
-
이거진짜에요? 3 1
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 아니 근데 이분 아직 50대인데 말투가 왜저러심
-
딱딱 언 젤리 먹방 1 0
ASMR~
-
재미있네요
-
눈팅만하는데 2 0
레벨이 왜 오르냐 ‘오르’비여서 그런가 흠
-
밤에 영하 n도였나 1 0
으슬으슬하네
-
추가모집 확통사탐이 0 0
쓸 수 있는 곳 없나요? 동생이 한의대만 두개 썼다가 광탈해서 ㅠㅠ…
-
원래 매일 한 내용도 같이 올렸었는데 잘 기억이 안나기도 하고,, ㅎㅎ 방학...
-
사주가 잘 맞음? 9 1
후기부탁
-
강평 분석 ㄱㄱ 4 0
-
민족성대 0 1
-
드릴 난이도 질문 4 0
드릴은 6부터 1까지 역순으로 점점 어려워지는 구조인가요? 그럼 드릴 6 5...
-
토익 본점수가 전점수보다 낮아도 여러번 본시험중 높은점수를 입학처에 제출하면 되나요
-
서늘하네 1 0
어제 보일러 안 틀어놓고 잠들엇나
저녁 뭐드심 쿠리햄
잡채밥이요