괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
드디어 봣다 흐흐 2 0
다 본다고 캬캬
-
ㅇㅈ하면 너네 놀릴거잖아 2 1
응응
-
전형태 언매가 진짜 좋긴하네요 5 1
24 언매만 5틀인데 강의 듣고 복습 꾸준히 하니까 점점 틀이잡히면서 문제가...
-
안쓰시는 분들도 있을텐데 뭉뚱그려 말하는 건 미안합니다만...
-
나 미적사탐인데... 0 0
국어 ㅈㄴ 못하고 수학은 백분위 89라서(평균보다는 잘하는거임) 문과계열은 지원하면...
-
아내년에입학하면중고새내기네 2 0
허허
-
에이어 이건 뭔지문이에요? 15 0
15분 넘게쓰고 글은 다튕겨져나가고 눈알 50번은 굴려서 겨우풀었는데 이렇게까지...
-
얼굴 나랑 바꿔 확 그냥
-
내목표는 1 1
경북대 아동학과나 부산대 유교과나 영남대 유교과 아니면 계명대 유교과로 편입해서...
-
새벽 감성 노래 듣는 중 2 0
김장훈 킬링보이스
-
나도 그글 보고싶어 4 0
어딨는데
-
폭로글 0 0
폭삭늙은글
-
ㅇㅈ메타를 보니 2 0
거울속의 내가 한심하게 느껴졌어
-
게임을 더 하고싶다고 9 0
피로도 내놓으라고
-
초중고대 정상적으로 다녔는데도 사회성 부족하면 어떡해요? 4 0
재수도 안했는데 돈만 날린거임?
-
현역 경제럽니다. 6 0
2학년 때 내신 경제 준비하면서 개념 돌리고 지금 빨더텅 풉니다. 독서실에서...
-
고2 내신 인강 비중 0 0
고2때 인강패스 들어보신 분들 내신 준비할때 (국수영탐) 강의 듣는 비중이 많나요?...
-
동생여친이 우리가족한테 선물줌 11 1
-
1. 01태그가 지금은 맨 처음에 위치하고 있다 옛날엔 01태그가 맨 마지막에...
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌