공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
(살며시 마이크를 누른다.)
-
네
-
건강하다는 증거거덩
-
츄릅 1일차 8
셀카임
-
ㅈㄱㄴ 그당시 되게 어려웠데서요.. 대부분 1컷47이하로 잡은 게 기억나네요....
-
저를 싫어해주세요 22
매도해줘
-
11~14번 좀 확고히 다지고 싶은데 뭐 풀면 좋을까요? 기출은 끝냈고 대성만 있습니다!!
-
네
-
정확히는 이게 잘 작동할 수 있을까라는 의문이 있음 명백히 선호되는 학과가 있는...
-
오르비 호감도는 5
수학 실력에 비례한다 다들 goat 저는
-
사춘기와 성 빼고 난 정보통신 좋아함
-
지금 드릴드 절반정도 풀다가 기출 다시 풀고 있는데 제가 제대로 하고 있는지...
-
덕코 0
주세요
-
5모까지 츄릅함 7
-
6시까지만 공부하고 30분 자고1시간동안 학교 갈 준비->> 바로 학교 !!
-
사야함? 후기보면당연한소리다 이런말도있어서..
-
병(신) ㅠㅠ
-
아 이틀간 접속 못했어
-
오르비 잘 있어요
-
아무도 나 안 좋아함 12
-
흐음
-
국어, 영어 독해하는데 시간 더 걸리던데 ㅅㅂ
-
공부 ㅇㅈ 6
샤인미 46문제풀었다
-
지인선 미쳤네 0
한회차 3개씩 나가면 ㄱㅊ한건가
-
고지자기.. 못 알아먹겠던데 시즌1 사서 할까요…?
-
걍 나가자 이계정 망했네 새로 시작하자
-
ㅂㅂ 3
-
탈릅선언은 2
걍 하지말자 만화에서도 감동적인 이별후 다시 오면 그만큼 짜치고 뻘쭘한게없음
-
고구마님이 국어만드신 그런거처럼..
-
평소에도 댓글 잘 안 달리는데 없겠지 뭐....
-
GG
-
즉, 내가 싫어하는 오르비언은 오르비언이 아님
-
재밌어지는 법 2
중딩때는 머릿속이 드립으로 넘쳤어요 고등학교 올라오면서 적어지더니 자퇴하고 수능보고...
-
시대컨 질문좀요 2
이번 3모 적백인데 트러스 엑셀 둘다 사야함? 트러스는 쉽다는 말 있던데 잘 모르겠네용
-
인강 듣거나 빡집중으로 실모보는거 제외하면 무조건 들음
-
수학도 잘하지 인성 좋지
-
나 좋아하는 사람 26
모여라
-
기회 1번
-
수학풀때는 진짜 못참는데 그리고 공부안될때 음악틀고 사탐 수특 벅벅 풀면 그만한 힐링이 없음
-
수학 기출 0
스블 회독하면 따로 기출문제집 사서 안풀어도 되나여
-
요즘껀 어렵나 아직 18 19 20 기출임
-
ㄱㄱ
-
근데 난 슈퍼스타도 아닌데 왜
-
날 좋아하는 사람들을 내가 좋아하는거징
-
순수하게 분탕을 치기위해 오르비를 들어오는 ms들
-
첨알았당
-
ㅇㅇ
-
엑셀 살까 2
작년 강k 어렵게(?) 구했는데
-
박석준쌤 어떰? 2
3모 해설강의 보니까 문학 풀이방식이 조금 독특한 것 같아서.. 국어 문학을 너무...
-
조용히 들렸다가 가세요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?