공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어떰, 국영수도 마니 쉽나
-
가자는 얘기를 안하네 올해는 패스인건가 안돼 내 용돈…
-
ㅇㅈ 29
. 눈이나 봐 솔직히 예뿌다고 생각
-
-
모작 전글이랑 같이 펑 예정
-
에이 설마…
-
도착하면 점심때겠네요 과연 아침에 일찍 일어날수 있을까요... 요새 명절때라 취소...
-
대학커뮤니티 노크에서 선발한 한양대 선배가 오르비에 있는 예비 한양대학생, 한양대...
-
노래방가고싶다 5
같이갈친구 구해야됨
-
생2는 6
UAA가 정배임?? 실전개념서 존재?
-
손 인증 5
-
자작문제 3
만드시는 분들 처음에 문제 만들기 어떻게 시작하신 건가요? 수능 끝나고 관심 생겨서...
-
큰 꿈이 생겼다 1
국어1 받아서 제2의 범작가가돼서 오르비에 칼럼을쓰고싶다
-
수악 어려운거 푸셈 11
조음
-
응 안해 ㅋ 10
ㅋ
-
안녕하세여. 저는 21년에 현역으로 수능을 봤습니다. 그러니까 2022학년도 수능을...
-
개인적으로 현우진 듣다가 시대 현강 듣는데 수업 몰입이 너무 잘되고 체화도 집중도가...
-
진짜 가능함 스캠 아님 이걸 가르치는 사람이 있는진 처음 알았는데 내가 항상 그렇게...
-
이 근성으로 공부를 해야지.. ㅋㅋㅋ
-
안정 하나 쓰라는 부모님 말씀 결국 끝까지 안 들었다... 근데 점공 보니까 이거 3승각일지도 ㄷㄷ
-
근데 뭘 만들 수 있을 정도의 수준이 안댐
-
통통이 입니다. 시대 김현우 커리큘럼 보니까 3월부터6월까지는 공통만 한다던데...
-
이즈나 코코 미야오 안나 베몬 루카 요즘 좋아하는 여돌들임…
-
수학 노벤데 선대칭 모르겠어서 질문 드려요 Log(x-k)&log(6k-x)두...
-
햄북딱
-
보통 이때 하나요?? 다들 새해복 많으받으세요라하네요 님들도 새해복 많이 받으세요
-
손한번만 들어주세요
-
먹어보신분 후기좀
-
도란, 케리아, 스매시 셋다 슈퍼전트 번외로 룰러, 커즈, 베릴, 페이즈, 클로저...
-
마닳 싸우지 않고 이기는 법을 뛰어넘은 안 읽고 푸는 거 저거 진짜임? 뭐 2.0...
-
ㅋㅋㅋㅋ
-
근데 생각보다 맵네요 야식 먹는 이유는 저녁에 죽만 먹어서 배고팠어요..
-
새해복 많이받고 4
건강하고 싸우지말고 수능에서 짱이되어라
-
다행이다 다 탈출해서
-
럭키비키 조합 3
원영이흐흐흐
-
예비고3입니다 작년 고2 모고 2223정도였고 작년 수능은 86점 나왔습니다 보통...
-
이제 2025 체험판 끝
-
버닝이펙트의 그레이트라네요~
-
노추받아요 43
-
침대에 누워서 카리나만 보고싶음
-
그래프 외길만 걷자 ㅇㅇ...
-
제곧내
-
설댕이의 새해인사는? 45
크킄크크킄크크크크크크크킄크 행복한 설댕세요!!!!!! 솔직히 웃었으면 세뱃덕코 주세요.
-
대충 100쯤 됐겠지 뭐
-
이정환 현강 0
이번주 과재 뭐임? 삼각함수야 아님 점화식이야
-
적고가..
-
뉴런 시발점 4
내신으로 수1 수2 다 떼고 왔는데 최저용으로 수학 3만 맞으면 돼요 그냥 뉴런...
-
이거 어케해야 잘할수있나요
-
저는 25수능 공통에서 14, 15, 20, 21, 22번을 틀린...
-
이거 기대됨
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?