똥싸기
게시글 주소: 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를 선물하세요.
-
물생조합.. 2
물생조합 어떤가요
-
기하이~
-
어때요? ㅋㅋㅋ
-
안아줄 때 같이 잘 때너 팔베개 깔아줄 때너의 목 건강을 위해
-
내일 더프때는 그냥 글이 5초면 묻히겠구만
-
일반고에서 내신 1.6정도면 보통 전교 몇 등정도 되나요??
-
과탐 원과목과 투과목 중에서 고민하고 계시는 분들이 있다면 이 글을 읽어보시면 좋을...
-
나미 바루스 5
출격
-
작년 더프 기준으로 작수보다 어렵나요
-
과제 폭탄 떨어져서 봐도 다음 주에 볼 거 같은데 개인으로 나중에 봐도 성적 입력 가능한감..
-
학교 5시에 마치는데 이미 답 다 스포당하고 난이도 문제 다 스포당할 듯...
-
근데 열심히 안했으면 믿지마
-
좃이 아니면 여잔가 가 아니고 오르비하다보면 더프로 정신병오는 사람도 많이 보이고...
-
지금 생글 시작했는데 일주일에 강의 2개만 듣고 예습만 하고 이러면 공부량이 좀...
-
6모만 보고 달릴려고요
-
쇼츠내리다가 뭔 이런 미친 프로그램이 다 있나 싶어서 찾아봤는데 방영일이 3.31....
-
더프를 앞두고 이렇게 따뜻한 말을 해주니까 갬동이네요
-
워
-
생윤 인강교재 2회독 기시감 1/3 실개완 조금(얘가 문제임... 시간 ㅈㄴ...
-
증명의 시간이다
-
화이팅입니다
-
https://orbi.kr/00072485160 어린이날 기념으로 어린이 문제...
-
더프 응시가 1인칭 주인공 시점에서 올해는 관찰자 시점으로 바뀌니까 뭔가 기분이...
-
눈물의 삼수생..
-
오르비언들 대학 몇칸인데 어디 붙을까요? 하던게 엊그제 같은데 3
뭔 벌써 3덮이냐 진짜 ㅋㅋ 시간 개빠르네 수능도 금방이겠지
-
기구한 인생
-
윗대가리들 개역겹네 ㅋㅋㅋ
-
믿어줄거에요?
-
제발..
-
요즘 인강교재나 사설모고 가격보면 유빈이는 조커보단 베트맨에 가까운거 같음
-
대설주의보는뭐야 14
씨XX
-
절대 못 사겟네 에휴이
-
더프 내기 6
자극 받고싶은데 해주실분
-
매움? 아니면 교육청스러움?
-
수2는 미적까지 뭐 이런거
-
핑계인건가요 그냥 그럴수있는건가요
-
피부만 복구하자..그것만 생각중임
-
국정원 문학, 독서 하고있어서 같이 풀 기출문제집이 필요한데 가격이 장벽이네요.....
-
시험지 어디서 살 수 있나용
-
3덮은 안볼 듯 0
개념기출해야댐
-
고민)국어 모고 연습할 때 통짜로 보는게 너무 부담스러운데 8
저같이 부담감 느끼신분들 있나요? 전 이게 지음 너무 부담스어워서 앞으로 좀 걱정이네요..
-
난이도 어떨까요 25 3덮 보신 분들
-
궁금쓰
-
[속보] 서울 역대 가장 늦은 대설주의보, 내일까지 최고 10cm 0
오늘(18일) 밤 10시를 기준으로 서울 등 경기 서부와 충남 북서부에 대설주의보가...
-
(재수생,만점목표) 개념+기출 +유자분 정도 해놓았고 3월 29일부터 시작하는...
-
국어 높3 수학 높3 영어 1 탐구는 아직 다 끝내지도 x
-
3덮 6
저는
-
-
재삼수생들 낼 보는 사람들은 다 잘봐라앙 ?????
-
진짜 실화임... 내신 드립도 못침
저녁 뭐드심 쿠리햄
잡채밥이요