괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
의치대는 무서워 5
내 이빨 뽑은 거 보고도 기겁하는 사람이다 보니 남 살 째고 이 뽑고 수술하는 거...
-
미치겠네 3
토하는것도 진짜 오랜만임 옷 어케 세탁하냐....
-
remedy 치료,치료하다인데 이걸 리메디,레메디,리미디,레미디 아무렇게나 읽어도...
-
건국 동국 뭐시기 대박
-
오르비에서 수능 끝나고 공짜로 라인 잡아 줬을 때 두 군데 다 서성한 문사철 가능할...
-
다항 방정식의 해를 찾아야햇음. 일단 첫번 째로 정수 체계x-4=0? 머 이런건...
-
쨍하고 해뜰날 돌아온단다
-
ㅇㅈ올릴때만 댓글 우수수 남의 얼굴을 궁금해지는 헨타이 오르비언들
-
옯만추해서 연애해서 결혼까지 골인 하는 상상을 해봣음 일단 대학좀 가고..
-
솔직히 말해서 06까지는 나 지금 일어났는데 저녁메뉴 추천좀 부탁드림
-
나도 후회 안함 5
그럼 된거임나름의 업적도 잇음
-
가고싶은 대학을 간다
-
옯창 판별법 32
1. 습관적 오르비 접속 2. 입시 끝났는데 탈릅 안 함 3. 누적 투데이 다섯자리...
-
알바끝! 4
오늘 손님 별루 없었어
-
"복권 1등"
-
그나마 풀고 싶은 문제 수도 한 손으로 셀 수 있을 정도
-
추가모집 상담 때문에 계속 입결 보게 되는데 한서삼 되는데 가천 안되는 분들이...
-
지방에서 올라와서 어떤 쌤이 유명한지 모르겠어서요,, 작수는 20 21 22랑 미적...
-
다자러갔나 3
물론인증은안함
-
주량 좋은데 맛없다고 느끼는 게 진짜 재능인 거 같음
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌