공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
생윤 경제?
-
북한놀로가고싶다 0
2박정도
-
~?
-
2025학년도 가천대 입시결과(수시, 정시, 의대, 한의대 포) 1
https://blog.naver.com/analysis_81/223814026654
-
이번 3모 개인적으로 쇤베르크랑 사회 지문은 ㄱㅊ앗는데 생명 지문에서만 2틀이에요...
-
쓰껄~
-
재미써따 이제 공부에 집중하기 10시에 올게용
-
정시 전향 3
3모 하나 달랑 보고 판단하기 어렵다는 거 알지만 수시로 고대인문~서성상경 정도고...
-
끄기잉ㄱㄱ
-
입술에서 피맛나 6
핥아보실분
-
그냥 수악할래 0
과탐 노잼
-
스쿼트 후기 10
화장실에서 똥냄새 진동해서 뒷걸음질쳐서 나옴 누구야 자수해
-
슬쩍할껄
-
100분 80(13 15 22 28 30) 이거 3모엿으면 1컷 60대나올거같은데
-
-
이거 좋은드
-
하루에 수1 쎈 50문제씩 풀고 수2도 이렇게해서 끝낸다음에 기출을 돌리려고 합니다...
-
250정도 벌면 100은 풀떼기에 투자하고 나머지는 저축하거나 사고싶은 거 삼뇨
-
수학 실전개념 0
겨울방학때 시대 시즌1 들었었는데 그러면 뉴런같은 실전개념 따로 안들어도 되는거죠??
-
다봤다... 2
크흐흑... ㅠㅠㅠ
-
식곤증 ㅁㅊ 21
뺨 두번만 때려줄 사람
-
-
서울대빼고 연고 서성한은 가능?
-
너무 추워
-
일하기 싫어
-
작수끝나고는 3
달에 200가까이 벌었는데 올해는 훨씬더 좋은대학에 갔는데 왜 일이 안구해지지
-
안보여서 모르겠네요
-
-
ㅎㅇ 2
-
나는 맥스웰이 싫어요
-
공부하기 싫다 8
ㅋㅋ
-
나도 일하고싶어 9
고졸백수라니
-
심심하니깐 자꾸 여기 오네..
-
존나버티는중
-
왜 공부해도 느는 느낌이 하나도 안 들지
-
발이 시려워 2
밟히실 분?
-
70문제 정도인데, 그와중에 어려운 거는 단원당 몇개 안되니깐 금방 풂... 근데 30000?
-
ㄱㄱ
-
이신혁t 수업 처음들어보는데 다들 복습이랑 숙제는 어떻게 하시나요? 피램군수뉴런범준스블과외3모
-
73점... 겨우 3걸침 왜케 빡쎄ㅜㅜ
-
현역이고 이번 3모 공통 다 맞았습니다 드릴5 정답률 70% 넘게 유지하는데 지인선...
-
편의점에 삼김이 없어 두번째 간 편의점엔 딱 하나 남아있고
-
해설이 문제인데 법전협 해설서 복붙하면 안되잖음 그거 기반으로 내가 새로 써야하는데...
-
손으로 손치고 푸니까 푸는 시간은 60분대에서 80분대로 늘었는데 사설100 나오는...
-
쌩노베 과외는 처음이라 조언 구해요 개때잡으로 공부하고 있다고 하고 수학 3등급...
-
-
야구장이나 가볼까 21
읏차
-
고민
-
대학교 과별로 같은 고등학교 재학생 1명만 뽑나요? 1
대학교 과별로 같은 고등학교 재학생 1명만 뽑나요?
-
알텍 왔다 0
개념 정립하러 갈게요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?