공리를 부정해도 무모순임
게시글 주소: https://iu.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대학 골라주세요 4
냥대 영문은 최초합했고 중대 경영은 추합 될거같은데 어딜 가는게 맞을까요??
-
혼란스럽네 6
왜 한분은 연뱃달고 고대프사고 한분은 고뱃달고 연대프사에요?? 둘이 사귀나요 저랑도 할분???
-
나는 84일까 88일까 걱정했는데 결과적으로 86이었음 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ...
-
수능 백분위어느정도 나어셧나용
-
하루종일 글을 쓰고 잇진 않잖아
-
떳다 내 야동 6
포르노 송ㄷㄷ
-
약대 중에서 중간 이상은 하나? 에리카 라서 위치가 ㅈ이긴 한데 꿀약이라 소문나있길래 궁금함
-
어떻게하면 내 과외생을 조금이라도 더 잘 이해시킬수있을까 1
내 수업이 너무 어렵나 근데 공부는 어렵게 하는게 맞다고 생각하는데
-
외롭네..
-
재밋겟ㄷ다
-
제2외 하심?
-
다시 돌아옴 1
ㅎㅇㅎㅇ
-
옯붕이 설날.. 8
삼촌:그래 앉아봐, 3수한다면서 어디대학교 갈거니? ?: 삼수 올해가 마지막까지고...
-
제발 누군가 5
나의 글쓰기 기능을 막아줘
-
아까까지.계속 배아파서 못자다가 이제 자야겠네 빠잉
-
어디까지 해야하지
-
잡시다
-
의대 오수 8
의대 목표로 반수하려고 하는데.. 내년에 가면 24살인데 의대가도 ㄱㅊ나요..?...
-
이번년도는 무조건 원하는 대학 가기. 삼수는 없다.
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?