공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 오르비에서 대학,학과 별 새내기 모집하는 거 10
인스타 계정 아무리 찾아봐도 그 포스터가 안 보이던데 그거 보고 연락하면 오르비...
-
아아 왜 학원알바한다고 했지 다 때려치고 도망가고싶다
-
추ㅐㄹ비 12
40도양주마시거잔득취해버렷
-
세상에 좆병신이 얼마나 많은 지 깨닫게됨
-
본인 더프 인최업 10
경제 전국 3등 한 적 있음
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
-
확통 찍먹해봤는데 ㄷㄷ이네
-
책 좀 읽어야 하는데 10
갑자기 독서 떡밥 보고 자아성찰 해보니까 중학교 직전까지의 독서량이 중학교부터의...
-
히잉
-
우리학교 레전드썰 10
내신 5점대에 모고 전교 120등하던형이 4수해서 의대간 사례있음
-
엘베 같이 탐 ㅎㅎㅎㅎㅎㅎ
-
그냥 순수 ㅂㅅ짓으로 환급 못받아서 날리는데 어캄
-
그냥 국숭세단까지면 ok 너무 학벌을 많이 보고 싶지도 않기도하고....
-
Z
-
그냥 동문이랑 사귀는 게 깔끔할듯요 cc는 좀 아닌 것 같고 같은 사과대라면...?...
-
마음에 들어요
-
군필 03년생이고 이번에 휴학하고 공부하는데 수학개념을 많이 까먹어서 시발점부터...
-
https://youtube.com/shorts/6Dx8u-r_TZ0?si=VjJRB...
-
부진장강곤곤래 7
비트코인은 장강의 물결과 같이 언제나 도도하게 오른다
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?