괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
외대가면 상경이중 해보려구하고, 동대가면 경찰시험 준비할거같은데 너무 고민됩니다..
-
-
익숙한사랑이좋아 2
익숙한사랑
-
엄마가 사준거 몇 개 돌려입는중... 호박에 줄 긋는다고 수박되냐.
-
사랑하기 7
나를
-
바디워시부터 버려라.
-
독해력은 정말 자신이 있는데요, 수능 국어 인강을 듣고 강사들이 도구를 알려줘도...
-
ㅈㄴ 역겹네 진짜
-
이번에 강대 s관 들어가는데 왤케 분위기 별로라는 글이 많음? 2
높반이어도 분위기 안좋음?? 의대관 들어갈려다가 고정수업 너무 많아서 여기로 틀었는데ㅠ
-
잘려고 쳐먹는지 모르겠네
-
아니요그게아니라동국대와이즈캠퍼스라고경주에있는의대가하나있는데아니경주는아니고일산에병원이있긴해요.
-
야식 ㅇㅈ 4
밥 없는 유부초밥과 생라면 먹기
-
내가 예전에 중학교 내신시험 하루전 벼락치기때 썼던 방법인데 필기하자니 딴생각은...
-
딱히속상하진않은데착한오르비언들사이에음침한새끼들몇명껴있다는게의식돼서뭔가내얘기는잘안하게될거같음
-
재수 시작하고 처음으로 뚜럇한 목표가 생김. 법학과랑 로스쿨이용
-
ㄷㄷ 어쩌다가 알게됐는데 놀람 진짜 날티나면서 잘생긴 남자애인데 공부 잘해서 명문대...
-
왜 나만...
-
원래도 게임같은거 잘 못하는데...걍 노가리 까면서 마시면 안되는건가
-
스타팅블록 6
들어본&풀어본 실전개념 중에 난이도 원탑인듯
-
댓글 이유 ㄱ 재수 삼수 현역 중앙 서강 한양 성균관 중앙 경희 시립 외대 건국...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌