괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대학간 사람 대상으로 반수 유무 조사하면….
-
N수메타임뇨? 12
0수도 껴주시나요
-
인증 한번 했더니 4시간 동안 저분 얘기만 함
-
ㄹㅇ 제일궁금함 의반안돼
-
건동홍이 절대 낮은대학이아님 상위권임
-
어제 일당 ㅇㅈ 3
외화 유출 ㅈㅅ
-
ㅇ.
-
근데 어지간하면 반수 안 하고 행복하게 사는게 좋아 13
세상에 행복한 일이 얼마나 많은데 고통 속에 몸을 집어넣어
-
난 후회 진짜 안 함 12
재수 때 좀 놀았던 거나 다른 건 다 후회안하는데 앞머리 숱 한 번 더 쳐달라한 건...
-
전 서울대욕심은 딱히 안 나는데
-
1년차 교사는 9호봉이다. 20년차 교사는 29호봉이다. (1급 정교사 연수 후...
-
의예과 제외
-
잠깐 거울봤는데 8
설의로도 커버 안 될 거 같은데 어쩌죠..
-
진짜임 근데 짜피 안됨 ㅋ
-
중앙대 합격 7
너무 오랫동안 꿈꿔왔던 학교 드디어 가는구나 합격증 올려보는게 소원이엇어요...
-
그랬기 때문에 항상 공허한 느낌이 드는 것일까요,, 어디로 가야 할지도 모르겠어요,,
-
한 번 글로 쭉 쓰고 나면 마음이 편안해지는 게 있지 않나요?? 우울글 같은 거 전 좋다고 생각해요
-
사람 인연 귀하다는 것도 배워서 후회 없는듯... 힘들 때 밥 한 끼 사주는게 참...
-
아무리 공부 잘하고 머리 똑똑해도 킬러 하나. 혹여 실수라도 하면 땡이니까요....
-
여러분 사실 중경외시건동홍 이상으로 가는 건 평범하지 않아요 15
그리고 대기업에 취업하는 것도 평범한 삶은 아니에요
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌