공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅎㅇ 2
-
나는 맥스웰이 싫어요
-
공부하기 싫다 8
ㅋㅋ
-
나도 일하고싶어 9
고졸백수라니
-
심심하니깐 자꾸 여기 오네..
-
존나버티는중
-
왜 공부해도 느는 느낌이 하나도 안 들지
-
발이 시려워 2
밟히실 분?
-
70문제 정도인데, 그와중에 어려운 거는 단원당 몇개 안되니깐 금방 풂... 근데 30000?
-
ㄱㄱ
-
이신혁t 수업 처음들어보는데 다들 복습이랑 숙제는 어떻게 하시나요? 피램군수뉴런범준스블과외3모
-
73점... 겨우 3걸침 왜케 빡쎄ㅜㅜ
-
현역이고 이번 3모 공통 다 맞았습니다 드릴5 정답률 70% 넘게 유지하는데 지인선...
-
편의점에 삼김이 없어 두번째 간 편의점엔 딱 하나 남아있고
-
해설이 문제인데 법전협 해설서 복붙하면 안되잖음 그거 기반으로 내가 새로 써야하는데...
-
손으로 손치고 푸니까 푸는 시간은 60분대에서 80분대로 늘었는데 사설100 나오는...
-
쌩노베 과외는 처음이라 조언 구해요 개때잡으로 공부하고 있다고 하고 수학 3등급...
-
-
야구장이나 가볼까 21
읏차
-
고민
-
대학교 과별로 같은 고등학교 재학생 1명만 뽑나요? 1
대학교 과별로 같은 고등학교 재학생 1명만 뽑나요?
-
알텍 왔다 0
개념 정립하러 갈게요
-
-
여자만 그런줄 알았더니
-
벤조디아제핀 투여
-
읽어보니까 과1사1쳐도 상관없고 최저맞출때만 과탐 들어가야하는걸로 이해했는데...
-
칸예 2
내한 또 온다네 07은 죽는다
-
치한약수도 같이떨어지려나
-
오 때론 난 망가져 갈지도 모르지 허나 젊음엔 그건중요한게 아니야 0
모든걸 느끼고 싶어한 나잖아 나는 나만의 인생을 사는거니깐
-
독서는 피램하고 문학은 강민철쌤 듣고 있습니다 김승리쌤 KBS가 애니메이션도 있고...
-
뇌절 안오고 풀었다는데 난 보고 잉?? 해서 3의배수 단위로 나열해서 찾음 얜...
-
[속보] 미얀마강진 사망자 700명으로 급증…"1만명 이상 사망 확률 71%" 1
미얀마를 강타한 규모 7.7 강진 다음날인 29일(이하 현지시간) 사망자 수가 약...
-
생명은 개념도 안돌렸고 지구는 내신때 좀 해서 개념 기출 어느정도 된 상태입니다....
-
오 8점이다 9
생각보다는 잘 나왔네
-
엉뚱한 대답하는.. 알바면접볼때 ‘‘전 학원에서 일은 안힘들었어요?’’ ‘‘다른...
-
1.국어 문제를 풀어보려고 하는데 피램 생각의 발단 생각중입니다 이거 괜찮나요?...
-
-
중간에 자버려서 개늦을거같은데(1시간반쯤…하.. ㅜㅜㅜ) 그래도 들으려고하는데 가면...
-
출튀아직 안해봄 2
곧 해봐야지
-
진짜 저는 요지를 저렇게 파악했는데…걍 수능 열심히 봐야겟당..ㅠ
-
사진 두장 필요하다는데 여권 사진이여야하나요..??
-
과외하러 출동
-
수능샤프 부러짐 4
이거 안좋은 징존가
-
저만 쉬웠나요 등급컷 뇌절오네
-
3모 84 1컷 수준입니다 미적분 실전개념 들을라는데 스블/빌드업/알텍/미친개념중이...
-
심전도 개어렵지만 상당히 흥미로움 미국 수의사 분들중에 심장전문의 분들 계시는데 졸멋...
-
안녕오르비 3
방가
-
Cherish 노래 ㄹㅈㄷ인데 하루에10번씩 듣는중
-
헤헤 9.9점이다 10
메인글 재밌어보여 도전했는데 9.9점 받았어요. 게시글 허락받고 살짝 자랑해봅니다..
-
일주일에 모르는 수학문제 질의응답만할라는데 고3기준 시간당 얼마 드려야 적당한가요??
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?