똥싸기
게시글 주소: 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를 선물하세요.
-
걍 과탐 선택만 하고 국영수 중에 3C2하는게 낫지 않을까…
-
어그로 죄송합니다 재수때 눈팅만 하다가 가입해서 글쓰는건 처음이네요.. 이제부터라도...
-
형님들 ㄹㅇ 사람 한 명 살린다 생각하고 도와주세요 7
지방에서 상경해서 서울에서 대학 다니고있는 06입니다. 원래 재수하고싶었는데 부모님...
-
집에가자... 5
너무 피곤타
-
3점날려버리기 ㅋㅋ
-
화작 미적 사문 생명 84 85 46 47
-
?
-
작수 2등급 지구러인데 이번 3모더프 지구 저만 어려웠나요...?ㅠ 오지훈 쌤...
-
대핟에들어가겟어 0
기다려라연대...
-
왜 생2보다 쉽냐 뭔가 이상한데
-
언매 98 미적 81 영어 94 정법 43 사문 48 (1번틀) ㅁㅌㅊ?
-
내가지금그러는중
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
어디까지 가능? 0
경영 경제 희망 백분위 기준 국어(화작) : 89~90 수학 (미적): 96...
-
수학 모르는문제 3
n제 중에 4규푸는데 얼마나고민하고 강의보는게 낫나요? 저는 13분 고민하고 보고있는데 적당한가요?
-
화1생1화2 봄 내일 가장 근사치로 점수 예측한 분께 10000덕 드림 참고로 저...
-
액상과당이랑 군것질안하니깐 미칠거같다 근데 식곤증도 안오고 확실히 소화도 잘됨...
-
2회에서 통수갈기네 아
-
공통개나가리인것임 공통이 어렵지 않앗나뇨..?ㅈㅂ ㅠㅠ
-
난도가 입문엔제 수준인가요???
-
흠...
-
91 88 1 45 45 언미영물2지2 국어는 공통 -4 선택 -5 미적분 공통 -8 선택 -4
-
1컷 74 때려맞추기 가즈아
-
나 왜 순삽 맞추고 주제 틀린거지 ㅔㅅㅂ 2나온듯
-
국어 95 비문학 2점 의문사 수학 73..ㅠㅠ
-
분탕쳐야지 으흐흐
-
물 들어올 때 노 저어야지 잡답 잘 달고 섹드립 맞깔나게 칩니다 환영합니노.
-
내신 과탐 투과목은 어떻게 공부해야 하는 거죠..? 0
ㅈㄱㄴ 진짜 모르겟네여.. 다들 학원을 다니나
-
나 문학에서 의문사 몇개를 당한거지
-
하 21 22 둘다 풀었는데 ㅈ같네
-
본인3덮수학 0
3점짜리 계실로 4개 나가서 50점대됐음... 가뜩이나 점수 낮은데 최악이군
-
님들단어외울때 2
단어장 보면 유의어반의어,다른품사, 관련숙어도 같이 나오잖아요 이거 다...
-
3덮 수학 2
3덮 수학 어렵지 않았나요?? 미적 65점 나왔는데 수능때도 이럴까 걱정됩니다… 조언 부탁 드립니다
-
3덮 확통 80 0
무보 2 가능?
-
22수능 지구과학 20분컷 이 가능해? 누가 20분만에 풀었다길래 현장응시
-
3덮 만점 ㅋㅋㅋㅋㅋ 27
시발 뭐임 ㅋㅋㅋㅋㅋ 구라아님 영어 11, 39, 40 물2화2 둘다 23분정도 걸림
-
수시 정시 0
수시 정시 둘다 할수는 없나요… 내신 1.5인데 인서울의대 가고싶어서 정시위주로...
-
국어 97 영어 95 생2 50 지2 44 인데 수학 진짜... 정확히 작수점수에서...
-
기하 딱 펴는 순간 어 초점 사이 거리 어캐구하더라? 하는 뉴비이슈가 터져서 그냥미적함
-
더프 3덮 빠답 1
수고하셧어여 다들
-
싸울래 진짜
-
나중에 성공하면 붙일 수 있는 미담정도지 효과도 공부의 선도 아득히 넘은듯..
-
아아아
-
특히 가나 보기랑 16번은 진짜 너무 짜침
-
생윤 어려웠음? 0
ㅇㅇ?
-
더프 수학 2
작년 3덮 vs 올해 3덮 뭐가 더 등급컷 낮을 것 같나요?
-
감이 이렇게 떨어져 있을 줄은 몰랐네 계산도 너무 오래 걸리고 언매도 한 문제...
-
20번 ㄷ 계산실수였네 16은 걍 완패....
-
죽겠다 4
태어나서 본 시험중 제일 빡셌음
저녁 뭐드심 쿠리햄
잡채밥이요