괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
귀여운걸 너무 좋아함 사실 꽤나 친해지면 성격도 귀여움
-
-
딱히 물어볼 곳이 없네요
-
-
스펙 평가 좀 4
중졸임
-
젤 어려운 문제조차 수특 레벨2 수준인데 만표가 미적이랑 5점밖에 차이안나네
-
전정쓸걸 8
쫄려서 못썻는데 광역은ㄹㅇ상관없나근데
-
늙은앤데 여즘 누워만잇음.. 밥주면 후다닥먹고 다시 내려가서 쉼.. 먹이반응하나는...
-
올해 기하 만백 3
100이었나요??
-
사탐하자~ 나대지말고~ 17
대 도 긩
-
-
춤 실력 보통이거나 춤 동작만 따라하는 수준이어도 호응 해주나요?
-
학교생활 및 이것저것 질문받습니다
-
걸밴크 2기 기원 10
제발
-
재수 시작 6
2월 17일부터 잇올에서 재수 시작하는데 어디서부터 시작해야할지 감이 안 잡히네요...
-
버튜버 보는거 들킬면 정 떨어져서 차일듯
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌