괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
저런 ㅇㅈ 보면 1
성형 하고 싶음 하관 갈아버리고 싶다
-
같이 해요
-
심심한일 땐 거의 날마다 열렷던거 가튼데
-
얼굴 나랑 바꿔 확 그냥
-
에휴싯팔
-
남자를 몰라 들으러가야겠다
-
아 아아ㅏㅇ아아아
-
내가 ㅇㅈ하면 4
오르비 초토화될듯 ㅋㅋㅋ
-
김장훈 킬링보이스
-
잘생긴 분들 7
ㅇㅈ 그만해주세요. 제 새벽을 망치지 말아주세요…
-
딱대라 !@!@!!!!
-
ㅇㅈ메타를 보니 2
거울속의 내가 한심하게 느껴졌어
-
도태한남 자살해야겠다
-
인증 한번 했더니 4시간 동안 저분 얘기만 함
-
아오!!!
-
고려대 사랑해
-
ㅇㅈ 25
교복
-
걍 의대도 그러려니 하는데 서울대 공대 << 이새끼들은 진짜 뭔가 다름
-
멋있는 헬린님
-
홍익대 숭실대 숭실대 썼는데 3떨 하게 생겼습니다… 더 낮춰야 했나 진짜 후회...
-
궁금한 부분이 있어서 도움 주실 수 있으신 분.. 쪽지 주세요 작게나마 사례해드려요….
-
ㅇㅈ 3
울집강아지
-
얼굴 ㅇㅈ을 어케해 12
헉!
-
ㅇㅈ 4
을 할까말까할까말까
-
10년 전의 1년과 지금의 1년이 너무다름
-
하........의대 가즈아ㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏㅏ
-
전 서울대욕심은 딱히 안 나는데
-
안녕히주무세요 저는 롤할거에요
-
걍 특이점 와서 3
기본소득 받으며 소드아트온라인에서 살고싶다
-
배터리 개에반데 요금제는 바꿀듯 한달 700메가는 에바야
-
ㅇㅈ 5
-
. 8
.
-
사회적 인식은 이화가 더 나을려나요
-
ㅇㅈ올릴때만 댓글 우수수 남의 얼굴을 궁금해지는 헨타이 오르비언들
-
그냥 열심히 놀면 됨??
-
귀엽긴하네
-
초딩 졸업사진 12
잘 안보이는군
-
좋은 꿈 꾸세요 15
항상 꿈 같은 세상에 살길 바래요
-
ㅇㅈ 7
-
ㅇㅈ 13
퍼벙
-
알바끝! 4
오늘 손님 별루 없었어
-
아쉽다 아쉬워 5
전설이 될 수 잇던 가능세계가그래도 꽤나 잇엇던거 같은데 전부 피해가버렷군
-
그래 다들 내 ㅇㅈ보고 15
귀엽다고만 하잖아 하 글러먹었나 이번삶
-
지방에서 올라와서 어떤 쌤이 유명한지 모르겠어서요,, 작수는 20 21 22랑 미적...
-
난 코인 탄다 1
새로고침만 무한으로 누른다
-
친구중에 ㅈㄴ 이쁜 애 있는데 맨날 곽튜브 좋다하고 포토이즘 같은거에서 곽튜브 틀...
-
아주대 약대 0
아주대 약대 환산 컷 몇점 정도까지 될까요
-
ㅇㅈ?
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌