공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
조리중이라는데 말이 안되 알바생 혼자하나?
-
25수능 지1 4
3페이지까지는 무난했나요? 17,18이 좀 빡셌던거죠?
-
성한도 억울한건 마찬가지겠지만 신촌에서 연대생들 연대과잠 ㅈㄴ입고다니는데 걍...
-
옛날 사람들 0
다 하는 말이 비슷비슷한 듯. 국어 철학 지문들
-
니달리, 릴리아, 판테온 이런거 저격밴 당하니까 ㄹㅇ 기분좋더라
-
몰르겟고 일단 홍보한번돌려도되나요 2월부터진짜열심히함 @
-
사회는 제가 맡도록 하겠습니다
-
오목은 압도적일 정도로 선수인 흑이 유리하다고 하네요 그래서 국제대회에선 렌주룰...
-
맥주 먹을때 불러라 하.. 세병 먹은 이후로 생각도 안남
-
개강전에!
-
안녕하세요 3
반갑습니다
-
둘다 정시 지원하긴 했는데 (각각 5칸 6칸) 아직도 둘다 되면 어디 갈지 결정을...
-
한석원 vs 김기현 둘중 한명 실전개념부터 풀커리 탈 예정
-
진짜낮음….
-
이번에 외대 합격한 25학번 새내기인데여 혹시 선배임들 계신다면 졸업시 기준으로...
-
대주은 4
캬
-
(장문)열등감. 31
내 인생이 왜 이따구로 흘러가는걸까 주뱐에서 입시결과소식이 들려온다 전교1등의...
-
베르테르 18번 0
예이예
-
콘서트 가본 사람들 말로는 돈이랑 시간 투자해서 갈 만한 가치 있다고 하던데 나중에...
-
점수공개 지금 22등까지 1차합 23등 미입력 24등 불합격 문닫거나 불합이거나네요 으 제발..
-
실시간 여사친 2
왜클릭
-
요즘 딮기 보면 0
뱅기 감독 컬러가 딮기랑 잘 맞는듯
-
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는예비 한양대학생, 한양대...
-
찔려서 답장 못했더니 대화 멈춤
-
그래서 서버 유기 중
-
올해 안에 둘 중 하나는 가야 될 것 같은데...
-
엄 하나 틀렷네 5
눈물
-
원래 고2 모의고사 선지랑 문제 보고 본문에서 찾아서 푸는 방식으로 풀어서 2~3초...
-
재즈팜 1
-
존1나 인생이 딜레마다 그냥...
-
초2 문제라는데, ㄹㅇ 처음에 안보여서 당황함
-
이것저것 다 물어봐주세요~~~
-
죽은 인터넷 이론 18
ai가 커뮤니티에서 커뮤러들 말투들 다 학습하고 점점 ai 유저들이 많아져서 결국...
-
그러면 로스쿨 학벌도 학부 학벌하고 비슷하게 인정받을수 있는건가요?
-
다시풀어보니 순추론이 답이다!!
-
열등감.(안보임) 18
내 인생이 왜 이따구로 흘러가는걸까 주뱐에서 입시결과소식이 들려온다 전교1등의...
-
아니면 연대 컴공이 확실히 더 높나요?
-
상당히 만족스럽군뇨
-
반응도 좋고 여러분이 좋아하니까 행복해요
-
수학 막힐 때 5
수학 킬러 준킬러 수준 문제 혼자서 공부할 때 하나에 꽂히면 끝까지 고민하는...
-
만약 과외를 받는다면 누구한테 받으실건가요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?