똥싸기
게시글 주소: 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를 선물하세요.
-
대한민국의 정부 체계와 그 아래 프로세싱 프로그램들의 오류과정이 너무나도 빈번하다고...
-
똥을 싸면-> 밥을 먹는다 시험을 치면->기분이 ㅈ같다 기분이 ㅈ같으면->시험을 친다
-
수험생 커뮤에다가 과팅/연애 얘기 대놓고 하거나 이성친구 얘기로 비틱하거나 대놓고...
-
당장 저게 잘 못 됐다고 해서 반박을 해버리는 것보다 그냥 말을 아끼는게 더 좋을 때가 있다...
-
얼버기 1
1교시 ㅠㅠ
-
예2까진 과외할거라 누워서 시대 재종 다닐 때 쓰던 수학 교재들 다시 풀고 있는데...
-
하..
-
기분좋구나 역시 돈이조아
-
뜨거운 감자인 것 같은데 왜 그렇게 뭐라 하는 줄 모르겠음 예전 것보다 세련되고 예쁜데 말이죠..
-
1일차
-
아직 늦지 않았겠죠?
-
아직 고2라서 시대인재 라이브 들을 생각은 없는데 내년에 수능 대비 할 때는 들을...
-
고트임
-
아니 진짜 궁금해서 왜 없어요 오르비에서도 개때잡인가 이런 승제쌤 커리는 거의 못봄
-
기파급의 꽃이라고 생각하는 (상)편입니다 여기서는 기파급의 핵심인...
-
잠만 사람이 다 가버림 14
-
재수 재대로 할려고 모든인간관계 다단절하고 하는 사람있을까요? 휴대폰 번호도 바꾸고...
-
단어라고 생각함 4.9프로는 유형별 공략? 접근법 0.1프로는 듣기
-
계정마다 하드캐리하는 한명이 있음 하..
-
개인적으로 영어는 쉬운 국어라고 생각하는 입장이에요 유형이 정해져있고 국어랑 달리...
저녁 뭐드심 쿠리햄
잡채밥이요