괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
공항에서 시립대까지 한시간 내로 가는 방법은 없나요 제발요 지하철 몰라서 헤매는...
-
귀가 1
자야되지만겜땡기네
-
뭐 한석원이랑 정병호는 정석적이다.. 이런 거 들어보신 분 대성에서 아무나 정보...
-
고1수학 4
정석이나 바이블사서 문제는 안풀고 개념설명만 자주 반복해서 읽어보는거 어떰? 별로인가
-
좋아 4
좋은아침이라는뜻
-
아
-
인싸새기들 어제 발렌타인데이에 날씨 좋다고 다들 어? 씨팔
-
여캐일러 투척 5
-
ㅈㄱㄴ
-
연애하고싶다 5
아닌가
-
롤하실분 6
없나요
-
비독원 일클 고민하다 강기분해서 기출 아닌 지문하려하는데 비독원은 기출인거같고...
-
부산 해운대 사는데.. 가까운 러셀이나 재종 가서 다같이 쳐보고싶은데 혹시 신청해서...
-
9,10밖에 안쳐보긴 했는데 늘 30점대였음 자존감박살범인
-
내가 봐왔던 모의평가 학력평가 사설 모고 얘네가 진짜 무슨 의미가 있는건지 싶었음...
-
그 시간에 실모 푸는게 나으려나요
-
비상 혼자서 영화포스터 만듦(딴데는 걍 교과서같음) 국어는 왠만한 인강교재 이길 듯...
-
오르비 잘자요 4
-
드디어 일주일이 끝나고 생일날 복귀 그간의 금욕... 이제 풀어줄 때다 임시저장했던...
-
할 수 있다고 보시나요??
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌