괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
카페 ㅇㅈ 4 2
-
흐흐 3 0
-
사실나도 재수실패하면 좀 암울함 10 0
경희대 학고반수 걸어둘걸 그랬나 싶기도 한데 뭐 공짜라서 경북대 다닐만...
-
미안합니다 1 0
아무것도 안떠올라요
-
올해는 대학 안 가야겟다 2 0
ㅇㅇ
-
이거 사고 싶네 1 1
이름이 마음에 듦
-
평가원 2~3 학평 1~2였어요 단어를 다 까먹었네요
-
물1이 진짜 개꿀과목인 3가지 이유 16 1
1. 2. 3. 감사합니다
-
마크하면서 봣다는 거임 1 1
ADHD 운영법
-
그냥 자야지... 4 1
컹컹 왈왈
-
제주도에 인직이가 왔구나 0 1
서귀포에 있는 월드컵 경기장에 떴대
-
제 아이민입니다 7 0
2049372
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌