괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
후배들 반수 ㅈㄴ하겠네.. 0 0
나도 같이할게
-
중앙대 약학대학 신입생 카페 가입 안내 안녕하세요, 중앙대학교 약학대학 제 41대...
-
과외할때 폰보는 거 ㄱㅊ? 13 0
난 학생이고 나 수학문제 풀때 쌤은 폰보는데 그시간이 30분에서 40분 되는듯...
-
니게tv 개국 113일차 3 1
사진없음
-
이제 복권을 해야할 때인가 0 0
-
내신 cc 받는 가정한다고 하면 확통을 선택한 거 자체가 불리할까요? 서울대...
-
한국은 아직 한참 후진국임을 뼈아프게 실감했다.. 머리가 띵해지는 신선한 충격
-
언미화1지1인데 저게 연의가 됨? 절대 안될꺼 같은데
-
성인문 0 0
추합 몇점까지 돌았나요 안써서 점공을 못보는데 궁금
-
스펙 평가좀 21 0
25살 아다임
-
근무 개 시러 7 1
근무 때매 폰도 못 쓰고..
-
후 0 0
-
새내기게시판인데 애들이 걍 질문이 너무 많음 ㅋㅋㅋ 오티 새터 갈까요 말까요? 오티...
-
지거국 정시 1 0
지거국 정시 높공 목표로하면 거의 미적 과탐이 정배인가요 그리고 장학금 받으려면...
-
김밥에 새우튀김 넣는게 흔함? 8 1
진짜 문화충격급인데 김밥을 안사먹는편이라 모르겠네
-
지금 바쁘진 않음(올해 안으로 수1, 수2 심화까지가 목표) 애기중2를 도와주세오
-
Faux pas 0 0
영단어에요 발음햐봅시다
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌