공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
우울해져서 잘래요 16
내년엔 저도 축하받을 일이 잇겟죠
-
진심 트라우마 ㅜㅜ
-
아무래도 문과 학교니까 이과애들은 별 관심 없을 것 같은데…
-
잠은 안 오네요
-
재밋는 미연시 게임 중 12
두근두근 문예부
-
첫알바 어디가 ㄱㅊ? 15
돈이 부족하거나 알바해야만 하는 당위성이 있는 건 아닌데 더 늦기전에 경험해보는...
-
학기중에는 바빠서 독서를 많이 못했네요..
-
비명문대.jpg 13
팩트)다
-
사귀다가 군대가면 좀 그럴거같아
-
부모님 피셜 졸업생중에 ceo도 많고 하다보니깐 동문회만 해도 기부받아서 돈이 엄청 많대요
-
근데 오르비에서 대학,학과 별 새내기 모집하는 거 10
인스타 계정 아무리 찾아봐도 그 포스터가 안 보이던데 그거 보고 연락하면 오르비...
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
아아 왜 학원알바한다고 했지 다 때려치고 도망가고싶다
-
추ㅐㄹ비 12
40도양주마시거잔득취해버렷
-
세상에 좆병신이 얼마나 많은 지 깨닫게됨
-
본인 더프 인최업 10
경제 전국 3등 한 적 있음
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
68 95 99.7 10
보통 신뢰구간 구할 때는 a=0.05를 쓰죠 점공에서는 예측 구간이라고도 합니다
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
-
Z
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?