공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
사귀다가 군대가면 좀 그럴거같아
-
68 95 99.7 10
보통 신뢰구간 구할 때는 a=0.05를 쓰죠 점공에서는 예측 구간이라고도 합니다
-
해볼까??.. 8개월 정도 사겼어 그때는 얘랑 연애하는게 솔직히 좋게표현하면...
-
근데 오르비에서 대학,학과 별 새내기 모집하는 거 10
인스타 계정 아무리 찾아봐도 그 포스터가 안 보이던데 그거 보고 연락하면 오르비...
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
아아 왜 학원알바한다고 했지 다 때려치고 도망가고싶다
-
이건 좀 혹하는데
-
세상에 좆병신이 얼마나 많은 지 깨닫게됨
-
본인 더프 인최업 10
경제 전국 3등 한 적 있음
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
-
Z
-
삽 졸린데 8
애들 사이에서 못 자겟어
-
확통 찍먹해봤는데 ㄷㄷ이네
-
책 좀 읽어야 하는데 10
갑자기 독서 떡밥 보고 자아성찰 해보니까 중학교 직전까지의 독서량이 중학교부터의...
-
히잉
-
우리학교 레전드썰 10
내신 5점대에 모고 전교 120등하던형이 4수해서 의대간 사례있음
-
엘베 같이 탐 ㅎㅎㅎㅎㅎㅎ
-
그냥 동문이랑 사귀는 게 깔끔할듯요 cc는 좀 아닌 것 같고 같은 사과대라면...?...
-
이거 현장에서 다 푸는데 30분이 안걸렸는데 얘를 15분동안 박고도 못풀었음
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?