공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
화이팅 0
좀만 더 힘내보자구 ㅋ
-
ex)보닌 적백인데 잼민이때 이미 수학 영재였음 이런거 ㅇㅇㅇ
-
화작확통생명사문 0
화작확통생명사문 이 조합 어케 생각하시나요.. 사회 중 가장 나은게 생윤 사문이라...
-
심심한 2
마음의 표현정도가 매우 깊고 간절
-
손해본건가
-
자과대나 공대중에 뚤리는데 있었나요?
-
세종대 합격생을 위한 노크선배 꿀팁 [세종대 25][장학금정보] 0
대학커뮤니티 노크에서 선발한 세종대 선배가 오르비에 있는 예비 세종대생, 세종대...
-
많아요?
-
사1 과1 많이 하던데 애매하게 하는거 아닌가요.??
-
- T1 VS DK (11%) - DNF VS DRX (16%) - BRION VS GEN (3%)
-
이 예문 좀 안 쓰면 좋겠음. 온갖 국어 모의고사에서 갖다 쓰는데 아무튼...
-
개비싸고 양적음 ㄹㅇ
-
아 행복하다 3
이게맞아
-
우르프 개재밌네 2
-
동생이 6
불닭소스로 리조또 비스무리한거 알려줘서 해봣다 ㅈㄴ 맛잇다
-
피규어 지름 7
잔고 4만원 ㅎ.ㅎ
-
다들 설날 잘 보내세요 11
연고대 최초합도 끝났고 쪽지도 다 답변하고 이제 굵직한 입시 사무는...
-
설 연휴동안 원솔루션 멀티테크닉 들을라캤는데 까먹고 배송을 안 시킴 걍 25책...
-
일대일대응 질문 5
일대일 대응이 일대일함수이면서, 치역=공역인거잖아요. 문제에서 두 일차식이 둘다...
-
저녁 ㅇㅈ 9
-
은근 재밌음
-
아뭐야 고심리 3
그정도는 아니네 국숭급이라더니............걍점공안들어온거아님??
-
또 두드려 맞다
-
건글의 3
얼마나 빵난거여 800점대까지도 뚫림?
-
24수능 끝나고 풀어봤을 때 127이었는데 지금은 몇 나오려나… 일단 수능부터...
-
이미지써드립니다 22
Hi
-
중국 정부에 반기 들면 정신병?…"반체제 인사에 강제 입원" 3
한 남성이 현수막을 든 시위대를 이끌고 거리를 나아갑니다. 몸에는 방검복을 두르고...
-
다들 고마웠습니다
-
고대 이과 펑크 0
잇엇나요?? ㅇㄷ?
-
뭉슝좍
-
지엽적 사탐 4
지엽적인 문제 없는 사탐 추천좀
-
심심한 기출분석 1
코너 이름임
-
코가 마르네 4
코파야지
-
바자관에서 보냈던것보단 낫다
-
2학기 휴학하시나요? 아니면 휴반으로 하시나요 사수 이상도 답해주세요
-
대학커뮤니티 노크에서 선발한 한국외대 선배가 오르비에 있는 예비 한국외대학생,...
-
.. 선정되면 천 덕
-
나는 가족이 지문에 있는줄도 몰랐다고
-
행정병 되면 외래인들 출입증 뽑아주는 거 말고 하는 일 없을 거라는데
-
레어봐보ㅏㅎ 3
셋다내가올렷던거 이번레어가처음된중알앗는데 아니엿더 ㅎ
-
독서는 자기 내면으로의 여행이며 외부 세계로의 확장이다.
-
평가원시험에서 기벡을 안풀어봣다 이건 수치라는거야..
-
뺨을 맞다
-
어찌 해야할까… 역시 시호님의 과외를 받아야하나
-
난본적도없는데 오늘 처음 알람에서누가가져갓다길래보고알앗는데 누구한테잇느냐 내레어를내놓아라
-
화교 전형 진짜 문제 많습니다 정원 외 모집이라 면접만 보면 의대 붙는 수준입니다...
-
이번연휴 절망편 1
옯붕이 대학 붙었니? 뭐? 연세대 영문을 떨어졌다고? 인문대가 제일 낮지 않니?...
-
무휴반 질문 0
언확동사세사 작수 49344 올해 43312 목표 23211 국어는 이번에는 화작...
-
오늘부터 시작합니다
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?