똥싸기
게시글 주소: 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를 선물하세요.
-
하루에 4번 0
오르비 를하고
-
보고 한지문 날려야겠다
-
언매 확통 한지 어쩜 좋나
-
미치겠다 끼ㅣ이ㅣ이야야야야ㅑㅑㅑㅑㅑㅑ갹ㄱㄱ 모두 결과에 상관없이 최선을 다해서...
-
한귝사 까먹었는데
-
3더프 ㅠㅠ 0
보러간다 하
-
-
생명 dcaf 문제집이랑 비슷하게 가르치는 강사 아니면 잘맞는 강사 있나요? 만약에...
-
생1 만점 1
현실적으로 시대랑 강대 같은 학원 안 다니고 오직 한종철 풀커리에 디카프 n제...
-
오늘부터 탐구,문학,독서 시작
-
한티역쪽 아니고 대치역쪽임?
-
스펙업좀하고싶어
-
-
-
ㅇㅂㄱ 0
ㅎ
-
ㅇㅂㄱ 2
-
힘내라 샤미코
-
뭔가 저런것들이 실제로 이 지구에 있었다는게 신기함.. 먼 외계행성에 외계생명체가...
-
그리운 게임 0
카스온라인2 숨바꼭질이랑 좀비모드 귀신모드 놀자방 위주로 했었는데 솔직히 서든보다...
-
-
얼버기 0
모닝
-
심찬우 강의 1
고3때부터 지금까지 국정원이랑 정석민쌤 병행하다가 지금 생감생글 들을라고하는데 괜찮은가요?
-
기차 지나간당 4
부지런행
-
잠이안온다 3
오늘도 새벽공부
-
Nuclear launch detected
-
22 23 24 응시했었는데 원점수로 22 - 공부 안하던 시절 (3모 88이었고...
-
-
늦은 밤에 일어나서 시작하니 이제야 끝났네요 간만의 새르비를 이렇게...
-
-
선생님 술 덜깨셨어요 라는 나쁜말은 ㄴㄴ
-
[소개 및 성적인증] https://orbi.kr/00071877183 안녕하세요...
-
엄마 백원만 했었는데
-
걍 아예 이창무스타일로 가시나
-
흐흐흐
-
내가 술먹고 잘못보고있나 싶었네;; 이왜진
-
잔잔한 새르비 10
근데 좀 많이 잔잔한
-
지1 지2 화1 하나만 틀려도 2등급되는 과목들 맞죠? 내용 자체는 전혀 어렵지...
-
지구 개념서 1
작년에 산 오지훈쌤 oz개념책 인강 들은거 다 필기하고 공부한거 다 적어놓아서...
-
얼리버드기상.. 3
다시 자야하는데 잠이 안 오네.. 그냥 버티고 일찍 자야지
-
기차지나간당 2
.
-
어카지;;; 하
-
물화생수 과제 전부 챙기면서 공부한다는게 힘듬 밸런스 맞출 타이밍이 온 듯 다행히...
-
더러운 글 하나 보고 다시 자러감..
-
아니 이게 진행이 되나
-
피램 문학 어떤가요? 노베가 성적올릴 수 있을까요?
-
팩트는 보고서 하나 더 남았다는 거임.....................
-
자러감 4
ㅂㅇㅂ
-
장재원T 시즌2 0
장재원T시즌2 미적반 난이도어떤가요? 아이디어랑 한완기하고있어요
-
명실상부 Goat
-
민초 시원해 0
부먹안물어봐오이청량해솔의눈예아닥페최고야건포도꼭쥐스홍어예아
저녁 뭐드심 쿠리햄
잡채밥이요