괴델반박 한줄요약
게시글 주소: https://orbi.kr/00071994587
완전성이 있는 명제논리로 1차 논리를 구현할수 있고 1차논리로 이루어진 산술체계(페아노 포함)는 완전함.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제일 중요한건 가족들과의 추억 아닐까여? 전 알바끝나고 가족한테 전화해서 같이...
-
기하러의 시대가 온다는거야
-
24 언매만 5틀인데 강의 듣고 복습 꾸준히 하니까 점점 틀이잡히면서 문제가...
-
나 혼내줘 7
국영수탐 밸런스있게 안하고 수학만 해..
-
아 카페를 먼저올렸네(카페는 2차임) 여동생의 존재로인해 술은 빠꾸당함뇨
-
롤하실분 11
롤하실분뇨
-
어느날 고공을 나오면서 21
합격증 나오면 이 제목으로 인증해야지
-
배성민 3
자러감
-
다항 방정식의 해를 찾아야햇음. 일단 첫번 째로 정수 체계x-4=0? 머 이런건...
-
월월월
-
오랜만에 와서 팍 식어부렀어...
-
올해 맥도날드 전세계 수입 1년치 현금받기
-
카페 ㅇㅈ 4
-
걍 가기싫어서 면접안하고 떨어짐
-
내뒤로 한명은 더 붙을듯
-
그나마 풀고 싶은 문제 수도 한 손으로 셀 수 있을 정도
-
이리 닉네임 2
본명임
-
셀레뭐시기 들어오셈 18
대수학의 기본정리 상수가 아닌 복소계수 다항식은 반드시 복소수 근을 갖는다<<이거임...
-
추가모집 상담 때문에 계속 입결 보게 되는데 한서삼 되는데 가천 안되는 분들이...
-
해야할일list 3
언매 개념미적 개념
-
경희대 응수 0
응용수학과 예비 4번인데 ㄱㄴ한 부분?
-
Internal server error의 굴레에 빠졌다
-
의대합격하기vs 3
올해까지 전세계 마인크래프트 다운로드,구매 수익 가져가기
-
이리할 사람 5
이터널 리턴
-
일단 현역(07)이 너무많음(이건 05 06이 적어서 역체감이 큰것도 있음) 거기다...
-
모솔한테 맨날 연애운 좋대
-
일주일에 공통 드릴 약 25문제 강사 n제 70문제 강사 하프모의 35문제 미적...
-
3차추합했네요!! 다들 성불하세요 중앙대 중대
-
오르비 미쳤냐 2
서버 왜이래
-
진짜 모름excited state임
-
대성이든 메가든 연계 대비 강사쌤 추천 좀 볼륨 어느정도 있고 꼼꼼하게 해주시는분
-
지방 일반고에서 지균 수시로 설대 상경 가면 학교 안에서 인식 어떤가요? 경영...
-
반수가보자..
-
컹컹 왈왈
-
해본적없긴한데 만약에....
-
올만에 bbq시켰는데 할인 먹이고 배달무료여도 2만원
-
군 전역 후 연극영확화 입시 후 감사히 정시 합격을 했지만 공부가 하고 싶어서...
-
https://youtu.be/QMpafd92GWw?si=GT37o4x1m6cG9wG...
-
바시의 썼는데 한명 빠진 것 같네… 혹시 쓰신 분 계신가요?
-
김승리 올오카 듣고있는데 수특도 따로 사서 지금 풀어야하는지 어떤지 모르겠어요 추후에 안내해주나요?
-
ㅇㅇ
-
현실적으로 10명만 돌아도 개 ㅆㅅㅌㅊ같네 10명만 돌아줘요 ㅜ
-
ㅋㅎㅋ??
-
파라다이스였늠
-
화1 칼럼은 1
수요가 없겠지
-
머릿결이 더 빳빳해진 느낌이고 덜 빠지고 피부도 좀 더 좋아진 것 같기도..
-
화1은 25수능 결과보고 하위권은 물론이고 상위권까지 많이 빠져나갔음 심지어 시대...
-
??
-
1일1식 2식 섞어갔는데 왜 안 빠지제 운동 안 해서 그런가
-
비슷한질문글 5억번올리는 사람 뭐였지 그사람비슷한사람보이네
그러니까 페아노 공리계에 모순이 있다?
산술체계에 참이지만 증명할수 없는 명제가 있다. 인데 이말은 불완전하다는 소리임.
완전하다는건 "참이면 증명가능"이라는 말이고, 나는 이미 완전성을 인정받은 명제논리로 산술체계를 구현할수 있기때문에 산술체계가 완전하다는거임, 따라서 괴델과 정면충돌