공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
디시 빡갤도 나 하는데 거기선 익명인데다 지나치게 자유로운 곳이라 아무 뻘글이나...
-
이마에 이슬이 간절히
-
예비법조인분들 파이팅
-
왜 그렇게까지 하는거야 도대체
-
좀 많이 추상적이긴한데 자생한방병원은 들어가기 어려운가요 라는 질문은 대입에 빗대면...
-
화장실 문이 찢어져 있고 전자담배 냄새가 폴폴나며 학폭으로 경찰이 찾아오고 토토쟁이...
-
만점 통역은 아니지만 오랜만에 거의 두달만에 했고 내용도 많아서 빡셌지만 그래도...
-
올해 가는 걸로 만족해야할 듯
-
여팬 많은거 이해됨 ㄹㅇ
-
다 똑같이 생긴 캐릭터인데 유저는 다 다르던데 본인들끼리는 뭔 캐릭인지 구분이...
-
노래추천 21
해주세요 jpop이면 더좋고
-
ㅈㄱㄴ
-
중앙대야 3
탑블레이드 마냥 추합한 번 제대로 돌아줘라
-
모범생 훈남이라고 빨아주는 남자애들 요즘 스타일 아니라고 존못이라고 개빻았다는 남자애들 둘다 많았음
-
ㅈㄱㄴ
-
지금은 메가스터디 회장이신 손주은 회장님의 강의를 들었으면 지팡이 집고 다녀야 할 나이이긴 하죠. 8
'예, 그 사람이 바로 접니다' 3년 전에 공부왕찐천재 홍진경 채널에 손 회장님...
-
아 닉변 망했다 11
엄
-
금테였잔아...
-
그렇다
-
정시차별 멈춰!!!!
-
언매는 개념강의 빨리 듣고 기출 많이 분석해보면 되나요??? 4
국어는 참 힘드네요 어떤가요???
-
시발점 본책 스텝1에서도 틀리면 개념이 안 잡힌건가요 1
수1 처음 나가는 노베 5등급입니다 ㅠㅠ 50일 수학 돌리고 시발점 하는 중인데...
-
헤헤 4
-
학교에 대학 입시 책자 오면 하나하나 읽어 본 다음 스티커 찾기 서강대라던가...
-
인서울 대학 0
인서울 주요 대학은 표점으로 반영 하나요? 그럼 표점 높은게 짱인건가요? (탐구...
-
예비고1 때 아주 뼈저리게 느낌뇨
-
수학 과외, 누가 더 구하기 수월하나요?
-
뭐하는데고
-
(양도 완료) 푸앙이 키링가지고 싶으신 분....? 5
채팅으로 ㄱㄱ 진짜 있는 세종대왕 푸앙이 키링임뇨... 팔기뭐해서 양도하려구요 중대...
-
형 멋있다 잘생겼어 이소리 많이 들었는데 또래 남자애들이나 20대 친구들은 본인...
-
컴잘알 분들 10
저기 운영체제 free dos랑 win11 home/pro 차이가 뭔가요? Free...
-
화미영물1지1 26575 현역 성적입니다 기숙 고민했었고 수만휘 이강 러셀 세군데...
-
고3 기숙사 살 때 아무도 터치를 안 하니까 밤새 오르비 유튜브 게임 반복했음 이게...
-
방금 시켯는데 이거 밥이랑 잘 어울리나 맛있음?첨이라
-
중앙대 푸앙이 납치중.
-
너무 야하잖음 성기 훈이라니 이것도 감독이 노렸나
-
발표때까지 안들어오나요? 시립대임
-
캬르릉 7
-
뭔가 과 이미지가 ㅈ밥느낌남
-
난 어렸을 때 4
명문대생들이 키배 뜨고 커뮤한다는 게 말이 안 된다고 생각했어요 배울 만큼 배운...
-
일단 3평까지 배기범 커리만 빡쎄게 하려는데 커리만 따라 간다는 전제하에 안정...
-
하루에 국어 몇시간 하는게 좋을까요? 수학만 8시간 하고 사탐런 쳐서 생윤,사문도...
-
25수능 백분위 화작 미적 영어 생명 지구 95 99 1 100 98 이였는데...
-
https://xurl.es/4stnb
-
벌써 기말이네 5
하.. 왜 족보에 안내던거 내냐고..
-
화통사탐으로 연높공 합격하는 점수가 어느정도 일지 궁금함
-
제가 재수할려고 작년 1학년 1학기 3월 초에 대학교를 자퇴했습니다 재수를 망해서...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?