공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
확 풀어버릴라니깐
-
학교 1년 다니다가 군대다녀오고하면 5수쯤 나이쯤 됨
-
제 전닉 아시는 분 14
전생닉이라도
-
흠
-
담임이 공동체를 위해 노력해라~ 이렇게 은연중에 세특에 꼽써놨던데 이거 영향...
-
다른 커피와 마찬가지로 이뇨 작용이 활발해짐...
-
없겠지??으흐흐
-
잘 만들긴했는데 예상한거랑 좀 많이 다르네 그래도 기억에 잘 남기는할듯
-
현역 수학.. 0
개념에센스 수1 수2 1회독 끝났는데 복습 제대로 안해서 3모 3입니다 이제...
-
온라인신청 많이 빡센가여,,? 폰으로 시간맞츄ㅓ하면 충분하겠죠,?
-
하투하 이안이랑 동갑
-
아오 내 주말
-
언미사2해서 연치가려면 내신성적 안좋으면 많이 불안할까요? 거의 만점권 받으면...
-
기숙학원 어디있나요?? 잘 못찾겠어요ㅠㅠㅠㅠ
-
왕잘하는아사람 10
이 되고 싶다
-
이기상 이만복 0
필수임?? 수강생 분들 후기좀여
-
올비에 08누구있음? 26
내가 직접 스팸메일이 되야겠어
-
21세기에 태어났으면 다 귀여울수 있다고 생각해요
-
으악
-
하.. 1문단만 조금 겹치고 나머지는 딴판인 지문이 ebs연계 대표문항임
-
저 그때랑 커뮤를 대하는 태도가 많이 다른데
-
최근 증원이니 필수의료패키지니 뭐니 의대생들이 동맹휴학(본인들은 자발적인 것이라고...
-
귀여움 메타임? 10
이 사람이 제일 귀엽다
-
06 최하위 0
-
심심하네 x지좀 13
쪽지좀
-
두둥둥장 14
두둥퇴장 저요즘오르비잘 안들어오는데...
-
6모배틀뜰사람 15
이제 공부좀 열심히 해야할거같아서 사람마다 밸런스조정 들어가겠습니다
-
자러감 인사해줘 12
-
귀엽지가 않아서 3
대화에 못끼겠네요 그냥 멀리서 어버버
-
춥네 6
으스스
-
[3차]6월 학평 대결에 참여할 08년생 분들을 구합니다 7
안녕하세요, 중의적 표현입니다. 지난 3월 학력평가에서 강해린08님과의 대결이...
-
닉네임이 많아요 2
유동닉이에요
-
동접하면 안되는 줄 모르고 오늘 처음 동접했는데 이거 걸리나요? 책 배송지는 같은...
-
솔직히 힘든데
-
수능 국어, 수능 수학, 입시 등 밤 12시까지 질문받습니다
-
안녕하세요 지금 이시기에 많이 늦었지만 정시를 할지 수시를 할지 아직도 모르겠어서...
-
내 프사가 젤 귀여운데 10
-
나 귀엽지 않음? 12
ㅇㅅㅇ
-
개같은 물리 8
진짜 씨플 받을까 진짜 못해먹겠음 그냥
-
06이 미안해 5
그래도 우리 덕분에 너희가 더 빛나는거 같다 사뿐히 즈려밟고 가시옵소서
-
3/30 공부기록장 14
오늘도 수고하셨습니다
-
그러자 연의생이 화를내며 말했다 "이 씨발연의???" 고의생이 답하기를 "미안 고의야" 깔깔
-
상담좀 해주실분 2
쪽지좀..
-
영어 질문드립니다 고3이고 중3때 학원에서 고1 모의고사 보면 1등급이 나왔어요...
-
심심한 고3기원 imna 미적마구마구정복하기 다 개 커엽노
-
다들 비문학 연계 수특으로만 할거임? 뭘로 할거임? 0
나중에 변형문제 푸는 거 제외하고..
-
생명 시간단축 0
생명 시간단축은.. 도대체 어떻게하는걸까요 모고볼때 평소보다 더 허둥거리는 느낌도...
-
ㅈㄱㄴ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

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

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