괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
여러분 사실 중경외시건동홍 이상으로 가는 건 평범하지 않아요 15
그리고 대기업에 취업하는 것도 평범한 삶은 아니에요
-
사실 안받아요 나도 이런 대사 한번 해보구 싶었어
-
이번 년도에 4
1억 만들면 다 지수에 박고 신경 안써야겠다
-
이름개멋있음 ㄹㅇ
-
. 8
.
-
사회적 인식은 이화가 더 나을려나요
-
아픔은 나에게 4
무엇을 주고 가는가
-
그래서 방금 두번 타타타당 여르비 ㅇㅈ 두개가 나온게 마즘? 7
이게 진짜라는거임?
-
이것도 메타라면 메타인가..
-
가서 말걸어서 ‘님 오르비 ~죠?’ 하면됨?
-
머가 있을까요 그동안 원했던 대로 일들이 안 풀리는 경우가 훨씬 많았어서 특히...
-
뜨듯한 2
용암 한 잔 하고 싶다
-
응애 3
난 아무것도 몰라요
-
잘생긴 분들 7
ㅇㅈ 그만해주세요. 제 새벽을 망치지 말아주세요…
-
친구중에 ㅈㄴ 이쁜 애 있는데 맨날 곽튜브 좋다하고 포토이즘 같은거에서 곽튜브 틀...
-
잘못된선택일까
-
난 고대가는걸 고대하고 있어 우리 모두 연대해서 연대 ㄱㅈㅇ 한양(서울)에는...
-
지유디 중에선..
-
은아니고 호노카보고가셈
-
지금 N=2인데도 지겹고 힘든데 ㅋㅋㅋㅋ 저건 ㄹㅇ 어케하는거
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌