공리를 부정해도 무모순임
게시글 주소: https://old.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진학사가 잡은 최종컷보다 6점은 내려갈 듯
-
면허땄다 3
만세
-
( 정부의 비과학적 졸속 의대증원 2000명증원이 증발시킨 건보 재정 2.9조원 ) 0
보건복지부 장관 조규홍 보건복지부 차관 박민수 교육부 장관 이주호 ... 등에게...
-
특정당할 일은 절대 있을 수 없음.
-
저메추 부탁함뇨잇.
-
외대ㅜ경제 0
빵 기원.. 쩝 표본상으로는 나름 빠질 인원 많아보였는데
-
가형은 무섭다 4
18 가형 1점차인데 백분위가 ㄷㄷ...
-
작수 강준호 커리타고 19,20 못 풀고 45점 나왔습니다. 이번에 김준...
-
피방오르비중인데 5
뒤에서 자꾸 힐끗대네 특정완료인가..
-
시립대랑 외대 경영 둘 다 붙을거같은데 어디 가는게 나을까요 아버지 회사에서...
-
탈릅해야겟다 3
왜 급할때 글 쓰면 맨날 답변 안 달림? 나 서운해...
-
노예비떨 ㅋㅋㅋㅋㅋㅋㅋ ㅜㅜㅜㅜ
-
끌끌..
-
뉴카멘 지리네이
-
탈릅?
-
뭔가 있어보이게 포장하기 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
케바케라곤하지만 난 항상 운이 없기에 개쓰레기자대로 갈거같음 새삼 뭔가 이리저리...
-
디시 빡갤도 나 하는데 거기선 익명인데다 지나치게 자유로운 곳이라 아무 뻘글이나...
-
이마에 이슬이 간절히
-
개생수 2
생수
-
옯만추는 어케하는거임 15
나 98년생인데 아저씨랑 비밀친구하자 으흐흐
-
예비법조인분들 파이팅
-
설문조사하면 커피준다길래 아무거나 벅벅 눌렀는데 갑자기 서울대 연구소에서 문자와서...
-
발페티쉬 2
이유가뭐야
-
왜 그렇게까지 하는거야 도대체
-
좀 많이 추상적이긴한데 자생한방병원은 들어가기 어려운가요 라는 질문은 대입에 빗대면...
-
화장실 문이 찢어져 있고 전자담배 냄새가 폴폴나며 학폭으로 경찰이 찾아오고 토토쟁이...
-
만점 통역은 아니지만 오랜만에 거의 두달만에 했고 내용도 많아서 빡셌지만 그래도...
-
올해 가는 걸로 만족해야할 듯
-
여팬 많은거 이해됨 ㄹㅇ
-
다 똑같이 생긴 캐릭터인데 유저는 다 다르던데 본인들끼리는 뭔 캐릭인지 구분이...
-
수영탐1 3합6 난이도 어느정도임.논술 준비하면서 맞추기 어렵나.미적 쌍사임.
-
노래추천 12
해주세요 jpop이면 더좋고
-
ㅈㄱㄴ
-
중앙대야 3
탑블레이드 마냥 추합한 번 제대로 돌아줘라
-
모범생 훈남이라고 빨아주는 남자애들 요즘 스타일 아니라고 존못이라고 개빻았다는 남자애들 둘다 많았음
-
ㅈㄱㄴ
-
지금은 메가스터디 회장이신 손주은 회장님의 강의를 들었으면 지팡이 집고 다녀야 할 나이이긴 하죠. 8
'예, 그 사람이 바로 접니다' 3년 전에 공부왕찐천재 홍진경 채널에 손 회장님...
-
아 닉변 망했다 11
엄
-
금테였잔아...
-
그렇다
-
정시차별 멈춰!!!!
-
언매는 개념강의 빨리 듣고 기출 많이 분석해보면 되나요??? 4
국어는 참 힘드네요 어떤가요???
-
시발점 본책 스텝1에서도 틀리면 개념이 안 잡힌건가요 0
수1 처음 나가는 노베 5등급입니다 ㅠㅠ 50일 수학 돌리고 시발점 하는 중인데...
-
헤헤 4
-
학교에 대학 입시 책자 오면 하나하나 읽어 본 다음 스티커 찾기 서강대라던가...
-
인서울 대학 0
인서울 주요 대학은 표점으로 반영 하나요? 그럼 표점 높은게 짱인건가요? (탐구...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?