똥싸기
게시글 주소: 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를 선물하세요.
-
지금 제트스트림 0.5 쓰는데 좁은범위 필기에 약간 애먹고있음
-
원래도 볼거 없었지만
-
기출 처음푸는데 드릴,4의규칙보다 미적분28,29,30번 기출이 더 안풀림... 원래 이래요,,?
-
괜히 어깨만 무겁게 한번도 안씀
-
재수생인데 이러는 게 ㄹㅇ... 다들 그냥 하는 건가요 스카독재라 너무 외롭고 별...
-
밥 기다리는 줄에서 어떤 사람 펨코 보더라
-
좋아요정 누구지 2
글마다 한개씩 누르는거 기요미인데
-
VOO가 안전자산이라 인식되기 시작함
-
저녁해장 2
-
우산 쓴 시간 3분도 안될듯
-
며칠전부터 방금까지 총 세마리 집 좆됐다 ㅅㅂ ㅋㅋㅋㅋㅋㅋㅋㅋ
-
이신혁T 시즌1 2
OZ 개념 기출 끝내고 아직 개념이 부실한 느낌이 들어서 이신혁T 시즌1 VOD...
-
지금 뉴런 공통하고 미적분 시작한지 한달정도 됐고 전체 반정도 한 거 같은데 보통ㅇ...
-
머할라고 했더라
-
아니 호요버스야 1
붕스 2주년은 엄청 미뤄주네 원신 4주년은 20뽑 이벤트 하나로 퉁쳤으면서 겁나...
-
.......ㅠ
-
그래도 난 수시러긴한데 개학하니까 공부할시간이 너무 없음 학교 다니면 공부 이외에도...
-
매우 정상적이네
-
님들은 뭐할거임
-
지금 벚꽃 1
만개 했나요? 석촌호수 여의도 서울숲 어떤가요
저녁 뭐드심 쿠리햄
잡채밥이요