괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
드디어 일주일이 끝나고 생일날 복귀 그간의 금욕... 이제 풀어줄 때다 임시저장했던...
-
할 수 있다고 보시나요??
-
제일 중요한건 가족들과의 추억 아닐까여? 전 알바끝나고 가족한테 전화해서 같이...
-
5만원들고 5
강대k 3회~10회 강대x 시즌1 (풀4+하프4) 를 삿어요 장학금, 세벳돈,...
-
사람이 죽는다고
-
클레이튼 교수 하는중
-
자거 일어나면 올라있길
-
새터가야하나 3
가야겠지
-
배성민 3
자러감
-
제곧내!!!!!
-
잘래
-
오르비 화이팅 4
열심히 해서 나쁠게 없다
-
해야할일list 3
언매 개념미적 개념
-
학벌 열등감이 심하면 재수하는게 맞는거겠지 지금 공부도 하나도 안되고 다음주에 재종...
-
의대합격하기vs 3
올해까지 전세계 마인크래프트 다운로드,구매 수익 가져가기
-
드디어끝났다 5
수능 본지 3달만에 드디어 ㅋㅋㅋㅋ 정시원서란 게 너무 길고 지겹더라 근데 여기...
-
숨소리도 신경 써서 안내고 신발만 잘 맞으면 발소리도 안나게 걷고 식기세척기 열린거...
-
애매한태도
-
대형과에 비해 디메릿 적은거 맞죠??
-
내 돈 돌려내
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌