공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
여기같은 곳에선 특히, 근데 난 수시하기 시름수시로 잘 가려면 쌤들이랑 잘 지내야할...
-
외대 글캠 가게될것같은데(안정예비권) 정말로 인식 많이 안좋나요...?ㅠㅠ 집은...
-
25수능 현역 성적 수시로 서울대 낮공 붙엇고 인설의 목표로 한번 더 하려는데...
-
근데 정십이각형 문제네 미안타..
-
뱃지 달았다 12
-
가지말까요..
-
수시:경희 컴공 못감 정시:경희 건공 예비 이정도면 대충 비슷하네
-
갤럭시의 장점이 뭐임? 18
아이폰쓰는데 확실히 최적화 <-요게 ㅈㄴ 중요하다는걸 아이폰 쓰면서 깨달음 갤럭시는...
-
재종 들어가기 전까지 최대한 다 읽어야겠다
-
첫글이자 마지막글 11
고려대660 서강대507인데 교과2.4면 올해 서울대 낮은 문과 가능했을까요?...
-
외강내유 2
머 그런거지
-
웬만해선 규리누님 있는걸로 찾아와서 we go당시로...
-
제곧내
-
이제 상병(진)
-
일단 울트라가 좋아보이니 울트라로 사전예악은 했는데..
-
백분위 기준 국어 88 수학 89 영어 1 생윤 99 사문 92 국어 2개 / 수학...
-
오르비에 최초합 하신 분들 중에 빠지는 사람 있음? 제발
-
그래야만 함..
-
국어의 본질 38
은 뭘까
-
뭐가 문젠건데 대체
-
닉이랑 프사 다 고려해서 뭐가 더 예쁜가요?
-
이왜진
-
진학사에서 계속 점공 1등이라 혹시 과 수석인가.. 라고 생각했는데 ㅋㅋㅋ 올라온...
-
니게tv 3개월됐습니다
-
재수 때 나한테 맞는 수학 쌤 어렵게 찾았음 근데 이 쌤이 메가임 알바비로...
-
민트 이쁘지 않나여? 실물 보니 민트보단 약간 라임색 가틈 ㅎ
-
존나웃김 독서실에서 입막고 혼자 존나 흐느낌
-
한달에 1.6씩 올리기 프로젝트
-
무료하네 4
아.
-
무휴학군필 수험생이라 일반취업은 많이 불리한데ㅠㅡㅠ
-
배에서의 나는 그날로 죽는다 이젠 정말 D - 10 안쪽인데 동기들이 날...
-
ㅡ
-
400까지 채우려고 맞팔9
-
고대 어문 최초합 했는데 유니스트 지스트 되면 그냥 과기원 가는게 낫나.. 중대...
-
슬슬 공부하려고 하는데 수학 개념 강의부터 다시 듣나요 아니면 뭐부터 해야하나여
-
부모님 드릴건데 특별한 기념일 같은 건 아니라 금액은 좀 가볍게.. .ㅎㅎ 요즘...
-
아무나.
-
https://youtu.be/XHr7vaHJvq4?feature=shared
-
자취방알아보고있었는데붙음 정병연장임 울겟음..
-
처분 당했네요 감사합니다
-
고대 식자경 경영 자전 빵 찾고 나 고전전 4칸이였는데 계속 된다하고 신소재...
-
멜 이거 재밌네 0
지금 꿀 빨아둬야됨 곧 너프 ㅈㄴ 쳐먹고 혜지챔될거임
-
지하철역 공공 무료 자전거 대여zone에서 자전거 대여햇음 근데 열쇠를 잃어버림.....
-
고경 합격 인증 12
감사합니다
-
롤방송은 롤 안한지 오래돼도 걍 뇌빼고 보면 재미있는데 롤체는 걍 오래 안하고 시즌...
-
진리에 순종하라 8
서강학파 캬
-
의대 논술 반수 0
이번에 논술로 약대 붙었는데 의대 목표로 논술 반수하는 거 ㅇㄸ? 의대 논술은 에반가?
-
작년 19명 뽑는데 추합 25명 올해 난 13명뽑는데 예비 7번임 ㄱㄴ하냐
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?