괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나중에 애 키울 돈 빠듯할 걱정은 안해도 되겠다 2 1
이미 마법사 직전인데 30대라고 뭐가 다르겠나
-
인정? 8 0
ㅇㅈ
-
김형률 선생님 들어보신 분 0 0
ㅈㄱㄴ
-
올3등급 의대 정시 합격 12 3
국수영탐 33233 평균백분위 80이라고 함 전북대 의대 정시로 합격 전형은 지기균...
-
잘잤다 0 0
아이고
-
대가대 의대 0 0
대가대 의대 추합 몇번까지 빠졌는지 아시는 분 계실까요? 올해 몇번 까지 돌거로 예상하시는지.
-
냉무
-
설대 목표로 5 0
사반수 어떤가요? 애반가
-
낼은 힘들겠지..
-
수능공부하면서 가장 신기했던거 1 0
엄마가 풀었던 94수능 문제를 수분감에서 봤을 때
-
그게 쉬운게 아니구나.... 아직도 그 취했을 때의 기분 좋은게 떠오르네
-
내 ㅇㅈ 본 사람 있음? 7 1
당연히 없겠지 인증을 안 했는데 ㅋㅋㅋ
-
빨리 내 뱃지 줘요 5 0
이이잉 주라구요
-
대학뱃지 있으면 4 0
전체 수험생 중 상위 몇프로일까요?
-
2차 추합 54명밖에 안빠지는게 정상이냐.... 올해 되려나?
-
[뻔한말x] 국어 5등급 국포자가 수능에서 1등급 받은 비법 (2) 3 2
나는 국포자였다. 하지만 어떤 '방법'을 깨닫고 성적이 비약적으로 올라 수능에서...
-
저 차 바꿈 5 0
보리차 먹다가 어제부처 유자차도 먹음
-
1800년생부터 틀입니다 5 1
감사합니다
-
쪽지 한 번만 부탁드립니다ㅠㅠ 감사합니당
-
오늘 너무 놀았다 1 0
오르비를 안하면 인스타 인스타를 안하면 유튜브 심지어 풀영상까지 보고 있네... 나 뭐하니??? ㅠ
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌