괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
숭실 vs 아주 6
숭실대는 자율전공학부랑 아주대 미래모빌리티 공학과 붙었는데 어딜가야할까요..?...
-
님들아 심심하면 2
소금으로 간을 맞추셈
-
하라리하라레이마오도리오도레코이코가레우소베사쿠랏테우타에하나니마기레이마오토리모도세스이쿄니아소베사코코데오도레 4
보름달이뜬날 가득찬군중속 격렬한무대위 모든걸불태워줘 섬광마저영원하듯
-
ㅈㅅㅎ님이랑 ㅅㅊㅅ님
-
음료 ㅇㅈ 7
-
차단한명늘었고 5
-
삶은 고통 7
감자대왕
-
왜 벌써 자러가는거야??ㅠㅠㅠ
-
프사까지 달면 뭔가 진짜 옯.창. 같아서 안 달고 있음
-
하… 2
하.. 밥 말까말까….
-
오늘까지 돈거 몇점대까지 돌았나요? 930대초반까진 안내려왔겠지
-
메모 1
ㄱㅁㅈ ㄴㄴ ㄸㅇ ㄴㄹ ㄷㄱㅇㄷ ㄷㅂㅍㅈ ㅁㅅㅇ
-
예비 230번 73-100-130-172 건국대 동국대 홍익대 숙대 국민대 숭실대...
-
읽어주세요. 5
아까 쓴 것보다 좀더 사적인 사과문이에요 이것도 형식 없이 쓸 거에요 미안해요 입이...
-
리카 얘 정체가 뭐에요?
-
심심하네 1
지구멸망했으면좋겠다
-
저는 고기방패가 좋더라고요 하하 뚜웅보! 하하하 드뤠이븐이 문제에요~
-
색 이쁘긴해
-
물론 여기 있는 사람들의 고통에 비하면 아무 것도 아닐 수 있지만 첫사랑에게 차이고...
-
진로를 어케해야하지
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌