똥싸기
게시글 주소: 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
-
수학 4 뭐부터 해야 될까요 0 0
작수 수학 백분위 72 확통인데 3점 기출부터 푸는 게 좋을까요
-
도파민중독
-
이제 집가야지 0 0
집이좋긴좋아
-
현재 영어 6등급이라 수능베이직 단어장에 주혜연 해석공식이랑 괜찮아 문장편 조정식...
-
과기대는 라인이 대충 어디임? 0 0
ㅈㄱㄴ
-
시도때도 없이 남들과 비교하게 되면서 제 자신을 깎아내리고 스물셋에 벌써 실패한...
-
문학 수능특강 문제 2 0
문제는 그냥 막 푸는 용도로 쓰고 작품은 강의 들으면 됨?
-
하이닉스 100만 가겠지 1 0
계속 존버중임
-
스블 들어야 함? 2 0
미친개념 수1, 2 다 듣고 그냥 김범준 카나토미로 넘어갈려고 하는데 다 스블이...
-
나 씹부타야로임 2 0
옷 안 맞아서 다 가져다 팔앗음 ㅇㅅㅇ.... 나도 68kg이던 시절이 잇엇는데...
-
폰끄고쉬셈뇨 0 0
네
-
배퇴식조 개빡세네 진짜
-
모몽가 X11님..?? 1 0
-
레벨올리는법도 쉬움 0 0
글 마니쓰면댐 어제 레벨업했는데 지금 15퍼임
-
덕코버는법 쉬움 7 0
글 마니쓰면댐 하나에 50덕임
-
아맞다 2 0
글 왤캐많이썻지 밀어야지
-
재수생 세지 고민 0 0
07이고 이번에 정법에서 세지로 바꿨는데요. 원래 기후파트가 젤 힘든 거 맞죠??...
-
살 빼는거 왜이리 힘들지 13 0
77=>74까지 함 68까지는 가야하는데
-
이거 어려움 3 0
1번이 평화연맹을 합의체인지 국가들간의 연합 계약인지 헷갈려서 틀릴 수 있음
-
체형 많이 무너졌네 3 0
병원다니고 운동해서 무조건 고친다
-
26SU 174만원 1 0
덜덜덜덜덜덜덜
-
ㅈㄴ 멋잇네 머냐 3 0
쒸빨 부츠컷 데님에 크롬 벨트? 촌동네에서 저정도의 아웃핏을 ㄷ
-
왜교수님은 2 0
2배속 안되나요? 답답하네이거
-
수신 연습 사이트로 연습중인데 7 0
단 한번도 올클을 성공하지 못함 차라리 빌넣 연습하는게 더 나을거같음
-
쌍사 공부법… 2 0
현역 노베 정시인데 쌍사 어떻게 공부 해야하는건가요.?? 권용기쌤 커리 따라가려는데...
-
국어 영어 사탐 기출 마더텅이 나을까요 풀수록이 나을까요
-
보통 한 소주 3~4병정도 마심 한번 마시면
-
내 활동반경 2 0
판교역 카페에서 카공하는 척하면서 오르비함
-
무휴학반수에 대하 현실적 고민 1 0
안녕하세요 올해 삼수해서 수능 평균4맞고 지방대에 입학하게 되었습니다. 평소 늘...
-
빠빠빠이 5 0
빠빠삐코
-
진짜 3시부턴 공부한다 0 0
정각병 ON
-
인싸들보면신기해 11 0
어떻게 저렇게 많은 약속을 아무렇지 않게 잡지 그리고 어떻게 기가 안 빨리지..?
-
대치궁금해서한번갔다온적있는데 4 1
어 별건없었고 학원이정말많았음 학원이ㄹㅇ많았음 광고도입시관련된거엿고...
-
뉴비 맞팔구 1 0
네엡
-
맞팔 구합니다 6 0
ㅈㄱㄴ
-
내 인생은 어떤가 3 0
망한거 같으면서도 망한거 같지는 않고 망한거 같으면서도 망한거 같지는 않고 모르겟어요
-
오늘 왜케 추움 19 1
옷 세겹입엇어
-
내 활동반경 4 0
집에서 안나감
-
올림픽이거개욱기네 5 3
히히나지롱
-
오르비언 진짜 특정하기 3 0
-
오르비언 특정한척하기 8 0
재밋음
-
와 목서리 많이 컸다 진짜
-
본인 찾는 법 1 0
2월까진 제주에 출몰 3월부터 서울 출몰
-
생활반경이 집 면적보다 좁음뇨 2 0
밖에나가지않는다.
-
본인 찾는방법 2 1
건대 대치 상시출몰 성수 잠실 가끔출몰
-
본인 사는곳 5 0
지구별
-
방청소하니까 기분좋다 0 0
가구위치도 바꾸고
-
영어 고난도 지문 1 0
영어 고난도 문제집은 어떤게 있을까요? 그냥 자이스토리 풀면 실력 오를까요?
-
재필삼선 2 0
재선삼필
-
나같경 생활 반경이 개좁아서 4 1
스티벅스나 투썸 가서 타닥타닥 일하다가 맥날에서 대충 먹고 집에 오는 게 유일한...
저녁 뭐드심 쿠리햄
잡채밥이요