공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
내좇망한인생을 보상받고싶다
-
-
주주중심경영 관련 지문 하고 마지막 빅뱅 관련 지문 시간재고 풀어서 각각 1개씩...
-
연경 vs 한의대 취향차 입갤 ㄷㄷ 댓글에 연경이 ㅈㄴ 많은것도 신기했음 딱 10년전인데 신기하다
-
네
-
탭 바꾸고 싶다 2
크고 아름다운걸루
-
현우진 극한상쇄 4
최근에 23수능 14번 해설찾다가 현우진 극한상쇄풀이봤는데 이거 잘못 푼 거맞죠?...
-
표점합이면 406 백분위면 294 이쯤되려나
-
맞팔하자 맞팔 8
서로 좋잖아ㅏ
-
대학커뮤니티 노크에서 선발한 이화여대 선배가 오르비에 있는 예비 이화여대학생,...
-
부산 3
Busan Pusan 뭐가 맞음?
-
맞팔구 1
-
잠자는게 최곤데 잠은 안온다
-
물2 후기:물1이랑 비슷한데 돌림힘 푸는데 아직 오래걸림 근데 사실 물2는 내신때...
-
중요시설 3D 이미지·위치·지형 등 데이터 실시간 전송 (하노이=연합뉴스) 박진형...
-
근데애니프사이셔서모르는척중
-
하루마키 이나바 히이라기
-
이번에 노베이스 지방에 살아서 ㅠ 재종은 그나마 갈수있는데가 부산 대성인데 부산도...
-
https://youtu.be/qiMQWPI_u3Y?si=QxgZWBPSZ7ygxOuQ
-
다른말로 하면 IoT전문가
-
통통이고 작년에 공통 세개틀럈어요202122 겨울때 수학 확 잡고싶어서 그런데...
-
컨텐츠 포함하면 500예상이라는데ㄷㄷ 1년 재수하면 5천ㄷㄷㄷ 부모님 연봉이...
-
진상이랑 도둑들 어떻게할건데 ㅋㅋㅋ 편의점갤러리만 가봐도 절대 대체불가능이란 걸 알수있다
-
ㄹㅇㅋㅋ
-
씹덕아닌일본노래 7
https://youtu.be/NFMmSOWPj_k
-
데이트할사람 5
?,
-
의사 없어질 직업 순위권인데 왤케 증원 못해서 안달임 10
코미디가 따로없네
-
수능과는 비교가 안될정도로 발상적인데 ㅅㅂ
-
제대하고 1-1로 복학하면 적응 가능한가요? 올해 수능치고 바로 군대 가야하는데 걱정이네요
-
지잡멘헤라 할바엔 그냥 죽음 ㅇㅇ
-
190921(나)는 못풀겠음 뭐지 보통 반대아닌가
-
노력하자..
-
-
20만덕이나 털렸음
-
역내에 있는 용우동집 제육 짜글이 상당히 맛있네용 +역에서 택시 탈 때 택시 승합장...
-
그 세점을 지나는 이차함수는 항상 존재?
-
이전에 내신하면서 시발점 & 공통미적 쎈 2회독이상했구요 수1 - 수분감...
-
구석구석 핥아주세여
-
-
기하영입률의 0.1퍼정돈 되지 않늘까
-
낮잠 엄청잤다 0
4시간
-
-
-
하는 투과목 투표좀 부탁해요
-
설날에도 사람 좀 제법 잇는 거 실화임?? 하긴 나도 어릴 적에 부모 좀 설득 좀...
-
취업하고 재테크 시작하면 기본 몇천이 깨집니다. 어릴 때부터 연습해야함
-
한지 세지둘다 백분위98나오면 지학2컷 가능할까요? 6
아니면 훨씬어렵나요?
-
잡대들...
-
지수로그 방부등식 까지만 찍먹했는데 기본예제는 다 맞거나 살짝 조건 놓쳐서 틀리거나...
-
트위터 이미지 2
트페미, 덕질, 야동
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?