괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
야식ㅇㅈ 5
고기굽다가 불냄
-
성균관대 복전 3
학점 얼마씩 들어야 인정되나요? 인문과학계열이고 경제학 복전하고 싶습니다. 복전 빡센가요..
-
현역 수능날 성적표 받으러 교무실 가가지고 받고 사람없는데로 도망쳐나옴… 그래서...
-
오르비에서 실모 시즌에 11
회차 피드백하면 욕먹음?
-
꽃꽂이하느라 죽는줄알앗슴
-
이 분들 어디 가셧나요 11
심심한 달리기선수 사랑과평화우정 어피니티
-
고1수학 4
정석이나 바이블사서 문제는 안풀고 개념설명만 자주 반복해서 읽어보는거 어떰? 별로인가
-
네...
-
사회문화 0
사회문화 2단원 어렵다기보단 ㅈㄴ 헷갈리고 선지에 너무 많이 낚이는데 그냥 사회문화...
-
-
후
-
아
-
카투사는 16
어떻게 가는건가요 머해야함..
-
이게 왜 어렵다는 의견이 있음? 나이때 한번도 안막히고 미적30번까지 깔끔하게 달렸던거 같은데
-
인싸새기들 어제 발렌타인데이에 날씨 좋다고 다들 어? 씨팔
-
2학년 때 내신 경제 준비하면서 개념 돌리고 지금 빨더텅 풉니다. 독서실에서...
-
외출외박 <<< 이거 좀 더 자유로워졌으면 좋겠음... 상근인 친구 있어서 자주...
-
중대경영 1
아직 추합 한참 남은거같은데 첫날 600중후반에서 20번대 됐네요 뭐지진짜
-
비독원 일클 고민하다 강기분해서 기출 아닌 지문하려하는데 비독원은 기출인거같고...
-
건대 6명 뽑는데 5->3->2 받고 전화추합 기다리는데 이거 잘하면 될까요…...
-
맛있는건~ 5
정말 참을 수 없어어~
-
밥먹으면 또 치석 끼고 그럴거같음
-
N수생 대거 성불시키기 프로젝트 하는거임? 그게 아니면 설명이 안됨
-
사실이 아닌 부분에 대해서 반박부터 하는게 맞지 않을까요
-
예비고1이고 모고보면 3등급정도 나오는데 어떤문제집이 좋을까요? 국어학원다니고있고...
-
고경좋잖아 흐흐흐 하면서 진짜 갈려고했음
-
작년 제작년 두바퀴 넘게 돌았던 관데 지금 2차까지 해서 한바퀴도 안...
-
뻥임뇨
-
마크하실분 0
야생쉽초보임
-
언젠가 연심을 품은 이가 있습니다. 그를 생각하면 저도 모르게 미소가 지어집니다....
-
쓰기 귀찮다.. 대수학의 기본 정리 임뇨
-
여기 에타는 2
반수게시판 없네 전적대엔 있었는데 정들었었음 ㅠㅠ
-
오르비 잘자요 4
-
드디어 일주일이 끝나고 생일날 복귀 그간의 금욕... 이제 풀어줄 때다 임시저장했던...
-
할 수 있다고 보시나요??
-
복소수에서 수 체계를 한 번 더 확장한 것이 잇다. 사원수 라고 부른다
-
맞팔해주세여
-
사람이 죽는다고
-
-
중경고시가 눈앞에
-
과외 시간 0
주1회 3시간 vs 주2회 2시간 가격은 순서대로 60 / 80
-
9평 5번 틀려서 48점 수능 3번틀려서 48점 둘 다 2 떠서 걍 나가리임
-
ㄴㅇㅅ
-
문제 오려 붙이는 시간은 아깝고, 문제 옆에 포스트잇으로 정리하자니 복습할 때...
-
제곧내!!!!!
-
뭐 2등급 따리가 할 말은 아니긴하지만... 220921-> 이거...
-
옯만추해서 연애해서 결혼까지 골인 하는 상상을 해봣음 일단 대학좀 가고..
-
우짜지
-
기괴한 거 6
저도 못 품
-
설뽕이 안빠진다 13
이메일 적는 란에 스누메일 적었다.
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌