공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅓㄹㅂㅓㄱㅣ 1
-
손나코토토오니와캇테탄다에루마키미난다요
-
안녕하세요. 경희대학교 경영대학 빅데이터응용학과 학생회 ONLY입니다❗️ 우선...
-
사탐런 막차ㄷㄷ
-
고대 심리는 특기자 전형이 있었구나!(o)
-
컨설턴트해야지 자격 없는 애들 말고
-
떴으니까 올리지
-
연고대 문과 폐점세일 행사 미친 수준인데
-
감사합니다. 혹시 뱃지 어떻게 받는지 아시는분..?
-
아 지2 천구 돌리면서 내 뇌도 같이 굴러가는 느낌이네 1
내 생각엔 아무리 봐도 지구는 평평한데 이걸 왜 해야하지
-
말이안되네
-
빠지시는 분 없나요ㅜㅠ 예비번호 앞번혼데
-
사국 예체능 전형 다 끝났잖아농어촌 기균도 서류검토 끝났잖아
-
2024년에 이미 지구의 평균기온이 산업화 이전 대비 1.55도 상승했다고 공식 발표함
-
수능 성적을 보지는 않음
-
정리 해주실분 있나요
-
이거진짜임?
-
추천좀요
-
심리학과에 부합하는 인재인데
-
고심리 530 ㅋㅋㅋㅋ 명목만 대학 공부를 할 수 있는지고 사실상 대학합격운빨눈치시험
-
530안붙어도 이미 고심리는 역사에 남을 핵빵임
-
정시도 수능최저 도입해야됨ㅇㅇ
-
아니어떻게 한개도 나온데가없어 동국대 홍대 숙대
-
예비 2번이라며
-
하남자같이 점수 잘 받아서 지원하는 것보다 530 고심리가 인생 성공할 가능성이...
-
여기에 누가 미인증 표본 5개 넘게 뿌려놨었는데
-
시발점 회독 1
가볍게 개념이나 틀린문제 흝어보는건지 아니면 완강하고 처음부터 다시하는건지...
-
상위권을 안 받겠다. 올해 이 사단은 이로 인해 문과 상위권 자체가 없었기 때문이라...
-
뭐 풀어야되나요 기출 먼저 풀려고 하는데 어떤 문제집을 풀어야될지 모르겠어요
-
심리전 잘한거잖아
-
아캔두디스올데이 6
-
빵꾸는 맞춰서 내 바로 앞 사람들 까진 축제인데 그 축제 입구까지 길 잘 찾아가고...
-
수능점수가 어느정도인거임?
-
만약 고심리 저거 붙으면 17연심리보다 더심한거인듯 1
진짜 설마붙겠냐
-
기균도 되나요?
-
너가 다 이겼다 시발
-
1월 1일날 정시모집하는 와중에 액셀 돌린 거임? 그러고선 조발은 죽어도 안 하고?
-
어느정도지
-
회계사 학벌 2
회계사 학벌 경북대면 손해 많이 보는건가요
-
오전 10~12시 7시부터~~~??? 하려는데 어떰
-
질문 올리고 1분만에 답변와서 보니까 잠시만요~ ㅇㅈㄹ
-
레전드네
-
이 많은 빵꾸중에 맞힌사람도 몇명없다는건가요? 엄 ㅋㅋㅋ
-
시범과외 7
원래 학생옆에 어머님 앉혀두고 하는게 맞나요? 긍데 모고 2-3등급이긴한데 얘는...
-
둘이 더 하면 689인 거임?
-
고경 핵빵은 ㅈㄴ부러운데 고심리는 걍 어이가없음 ㅋㅋㅋ
-
무휴학반수방법 4
1학기 : 학교를 열심히 다닌다 2학기 : 학교를 열심히 다니던 중 수능날에만...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?