공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
중앙솦 예비번호 1
예비번호 안 떴는데 가망 없나요
-
금테였잔아...
-
어차피 지금 화1시작하는 사람들은 대학갈때 통과로 셤침
-
그 추리력으로 과학연구하는게 더 돈 많이 벌거같은데
-
-
개인적으로 저는 준킬러 4분 킬러 10분 걸어두는데 님들은 몇분 거시나요?
-
수능 준비하는데 일등급 수학 푸는거 어떻게 생각함? 일단 수학의 정석 한바퀴 돌았음.
-
사탐런한 노베 고3인데 최적으로 개념강의듣고 도표만 윤성훈으로 들어도 ㄱㅊ을까요?...
-
물1 실모랑 N제 16
거의 그 실모 기준 1등급 나올 정도 돼야 지금 수능 1 뜨는거임?? 진짜...
-
최진우한탕 1
다섯글자에 환호성
-
화미영물1지1 26575 현역 성적입니다 기숙 고민했었고 수만휘 이강 러셀 세군데...
-
ㅈㄱㄴ 뉴런 4월말쯤 끝내고 드릴이랑 N제 벅벅푸는게 베스트?
-
씹덕 동아리 들어갈거야
-
중앙의 최초합!!! 59
1지망 최초합하는 바보입니다
-
과기원? 잘 아시는 분 15
타대학에서 과기원으로 대학원 가려면 조건이 많이 까다롭나요? 서강대 심리 ->...
-
중앙대 에타 0
중앙대 에타에서 강의평 하나만 봐주실 분 계신가요.. ㅜㅜ 쪽지 주시면 감사드리겠습니다!
-
트레이닝은 다 아는거같으면서도 헷갈리는거 꽤 나오고, 도킹은 문제푸는데 오래 걸리고...
-
과외준비하려 다시 풀어보는데 21,22 28~30 존나어렵고 빡빡하네 미적으로 이게...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?