똥싸기
게시글 주소: 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과목은 꺼지셈 적어도 3등급은 받아야됨
-
특이점이 와서 곧 모조리 망하고 새 세상 열림
-
점심메뉴추천좀 18
투표안하면 평생탈모 ㅇㅇ
-
비문학 칼럼 쓰시는 분들 모여주세요! 제가 팔로우와 사랑을 드리겠습니다
-
800개 복습 가보자
-
의판치검변약수회세~ 맞나요 변호사 약사 사이어딘가에 5급공채(행시)고?
-
졸업하고싶다 10
제발
-
우흥우흥 돈도 벌고 과외 준비도 하고 개꿀이노
-
요즘 똥글 쌀 시간이 없네요
-
나올 가능성 잇나요 뭐 이제 안나온다고 들엇던 거 같기도 하고 그래서,,
-
코딩 싫어~~ 4
-
날씨 왜 이래
-
ㅈㄴ 기네
-
얼버기이 14
-
궁금쓰
-
와 집공 8
ㄹㅈㄷ로 집중 안됨 거실 너무 시끄러워
-
(고민) 국어 80분 재고 풀면 3~4등급, 100분 재고 풀면 1~2등급인데 10
이말인즉슨 제시간내로 풀면 꼭 독서 2지문씩 못풉니다.. 80점 나온다 치면...
-
美 원자로 SW 韓 유출시도 작년 적발…민감국가 지정 영향 준듯 1
미국 에너지부 산하 연구소의 도급업체 직원이 수출통제 대상인 원자로 설계...
-
질받
-
약학개론을 듣고 있지만 왜 실감이 안 나지
-
옆에 분 코골면서 개꿀잠 주무신다 뭔가 웃김
-
생명 유전 부분 하나도 안 했고 잘 할 자신도 없어서 생명을 사탐으로 돌릴까...
-
only 서연고중 ㅋㅋㅋ
-
근데 스블미적을 다 들어야 뭘 하든말든하지 강의가 안쳐올라와...
-
더프 못 사겠음 3
사고싶은데 너무 비싸....
-
치즈 와퍼 불고기 와퍼 콰트로 치즈와퍼 이거 3개만 돌아가면서 먹어서 질리는데 다른거 추천 부탁!!
-
윤성훈쌤 5
진짜 잘가르치시고 말씀도 다 공감되긴한데 제발 사담 제거버전 만들어주면...
-
강대 스투k인데 수학 수업 너무어려워요 ㅜㅜ 1년 쉬어서 실전개냠이랑 기출이 기억이...
-
고3 진로 시간인데 애들 죄다 대충써서 내고 그냥 자습하려 함 ㅋㅋ 생기부 좋아도...
-
3더프 스포 당하면 안 되니까.. 배송 오면 다 풀고 오겠습니다 ㅎ.ㅎ 다들 오늘...
-
지역인재로 넣으려면 학점 얼마정도여야 하는지 아시는분? 학종으로 넣을거임
-
작년에 사 놓고 못 푼 것들 팔아요. 워드마스터 ₩5,000현자의 돌 실개완...
-
하
-
합응끝나고 연대 기숙사 방키 하나 고대에서 발견돼서 응원단 인스타에 올라왔던거...
-
2주차 부턴 문학 다 맞으면 독서에서 틀리고 독서 다 맞으면 문학에서 틀리네 ㅋㅋ...
-
폰 안 내기 1
비기임 ㅋ
-
저는 기독교 수업이 시작이네요 국어끝나고의 그 속 꿈틀거림을 알기에 차마 지금 힘들다곤 말못함
-
당장 책상으로 가서 국어 기출 펴라 ㅡㅡ
-
11시 수업인데 1
지하철 도착시간이 10시58분이다..
-
등교해야하는데 3
똥마려움 ㅡㅡ
-
"평범한 학생은 며칠 결석하면 F인데"…의대생들은 특혜? 2
의대생들의 수업 거부가 장기화하고 있죠. 이런 가운데, 대학가에서는 의대만 특혜냐?...
-
커뮤를줄여야되는데진짜
-
미3누 왈 그 자체가 상당히 모순적이며 대답해주는 사람의 입장을 고려해서 던진...
-
박단, 서울의대 교수 성명에 "교수라 불릴 자격 없어" 10
[이데일리 김혜선 기자] 서울대 의대 병원 교수 4명이 전공의와 의대생들을 향해...
-
봄인데 3
눈옴 ㄷㄷ
-
그걸 벌써 보나 진짜 남일돼버린게 실감나네
-
구글 딥마인드 CEO "인간 수준의 AI 향후 5∼10년 내 등장" 5
구글 인공지능(AI) 조직인 구글 딥마인드 최고경영자(CEO) 데미스 허사비스는...
저녁 뭐드심 쿠리햄
잡채밥이요