공리를 부정해도 무모순임
게시글 주소: https://app.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
대 황 딮
-
최근 2년간 수능이 쉬워진 이유 (Ft. 수능 최고난도) 0
안녕하세요 :) 디올러 S (디올 Science, 디올 소통 계정) 입니다....
-
서울대 1
D-13..
-
진짜 해도해도 모르겠네 마더텅을 다 풀면 오를라나
-
같은과 2장 2
같은학교에 정시2장썼는데 한장 최초합이고 따른한장 예비뜨면 최초합 된 과를 등록하고...
-
더이상 의대가 우리의 n수 합리화 수단으로 작용하기에는 무리가 있다 이렇게 보는게...
-
루시드 니달리네.. 물론 딮기 지금 바론쳐서 버프 먹음
-
올해 정시 지원군이 1. 중대 어문 / 경희대 자율전공 2. 경희대 건국대 동일과...
-
김지영쌤 인강 마려움
-
3-2안챙겻으면 5
서울대 수시반수 아예 불가능수준인가요 현역때 1차는 붙었 어도..? ㅜㅜ
-
ㅆㅅㅌㅊ인듯 근데 난 이상하게 한의대가 더 끌리네
-
어차피 1점대 찍어도 정시하는 애들이 많습니다…. 눈이 높아져서 성에 안 참 ㅇㅇ
-
배아파서 세상못살음 돈많은사람 잘샹긴사람 부러워하는것도 마찬가지임 나만손해인듯...
-
08인데요 그 2028수능까지 생각중인데 내신 챙겨야하나요? 14
지금 아주 말아먹은편은 아니고 2.5정도나와요 28수능부터는 내신반영이 확대된다고...
-
피드가 깔끔해져요
-
용도 깔끔하게 스틸하고 다들 해설에서 이거 버리고 탑치러가도 유리했다하는데...
-
있으면 도랄팍 삼위일체 마렵네
-
뻥임.
-
이미 N수 했으면 어쩔 수 없지만.. 스스로를 거울에 비추어 마주해보십시오 내가 좀...
-
오늘 얻은것 2
손에 물집 두 개 중지 손톱 뒤집어짐 양쪽 손목통증 근육통 money
-
아침부터 저녁가지 계신 분들 여기서 큰거 싸요? 아님 아침에 나올때 싸고 나오시나..
-
국어 찐따 되겟는데
-
갑자기 증식됨
-
흠냐뇨이..
-
스카이보다 의치한 분탕비율이 압도적으로 높은거같음
-
퇴근 0
104000원 범
-
고1,2 영어모고는 1등급 안정적으로 나왔고 대충풀어도 90은 나왔는데 이번에...
-
방금도 자다 깨서 비몽사몽일 때 '사람이 자동차를 한 손으로 들 수 있지...
-
60점맞으면된다길래 앞부분 절반만 공부하고 나머지는 찍맞하는 마인드로했음 75점 yes yes
-
시우는 같이 포탑에 데리고 깔끔하게 죽고 쇼메는 끌렸을때 깔끔하게 궁도 빼고
-
의대가 '어디보다' 안좋다가 나와야지 그래서 의대말고 어디가서 의대보다 잘먹고...
-
진지하게 약대 6
인터넷에 약대만 치면 온통 부정적인것밖에 없노 올해 정시일반으로 약대 가게 생겼는데 하 ......
-
그럼 다음주 금요일에 되는건가요?? 빨리좀할껄 ㅠ
-
대학커뮤니티 노크에서 선발한 경희대 선배가 오르비에 있는 예비 경희대학생, 경희대...
-
귀여워요 4천덕입니다
-
고려대학교 신소재공학부에서 25학번 새내기를 찾습니다! 0
안녕, 안녕, 안녕하십니까~~ 민족 고대?강철~공대?재료~금속⭐️혁! 신소재!⚛️...
-
동국대 신입 아코들을 위한 노크 선배의 마지막 꿀팁 0
대학커뮤니티 노크에서 선발한 동국대 선배가 오르비에 있는 예비 동국대생, 동대...
-
말 많았던거같은데 ㄱㅊ나요
-
ㅋㅋ
-
강대 주말 조교 지원해볼 생각인데 혹시 강대 다닌 분들 댓 좀 부탁 재수할 때...
-
추합 한바퀴는 돌까요?... 300명 모집하는데 가군이라 많이 빠질지 모르겠네요
-
이러다 의료체계 무너질수도 누가 해결을 하긴해야함
-
수특 표지 이제 봄 15
왜 또 저능하게 생김 보는 내가 다 저능해지는 기분
-
집안에 의사 5명 정도있는데 신기하게도 모두 대학병원 교수인데 어렸을때부터 의사가...
-
사탐런해서 서성한 높공 성적 받은애들이 사탐 가산점으로 꼬시는 연대 문과...
-
션티 현강 1
션티 현강 들으려고 하는데 영어 4등급인데 키스로직 빈순삽이 2월달부터 시작이라...
-
교과서 수준부터 킬러4점까지 천차만별인가
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?