공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이별 극복하는 방법좀 19
얼마전 헤어졌는데 너무 슬프고 마음 아파서 공부가 손에도 안잡히는데 진짜 극복하는...
-
해도 후회 안 해도 후회라면 해보는 게 나을 수도...?
-
떽띠땐뜨 0
-
경제 vs 경영 2
Cpa 할거면 경영이 낫죠??
-
과외 갈 때 ㅈㄴ 꾸미고 가는중 ㅋㅋㅋㅋㅋㅋ...
-
쪽지하세요 4
-
그냥 물어본건데 ㅋㅋㅋ 전 113나와요.... 저런 사람 실제로 본적 있어서 ㅋㅋ
-
잘못뽑은 반장 0
이란책 아심?
-
여친 재수해서 2월부턴 일주일에 한번 만나는데 아침에 수영 저녁에 달리 운전면허...
-
내일의 나를 너무 잘믿음 내일의 나에게 너무 많은걸 토스함 내일의 나는 내일 모래의...
-
공부는 기세다 1
LAMY 샤프 사야겠다 없으니까 텐션 떨어지네
-
합성함수에서 속함수가 역함술때 원래함수 그래로 그리고 xy바꿔서 축 맞추기 캬
-
천국의계단 10단계 20분 ㄱㄱ 사람죽어요
-
살찌워보자～～
-
비독원듣는데 본인이 누가 그렇게 말한거 봤다면서 말하시던데 실전에서 하기엔 좀...
-
하아ㅏㅏ... 건대보다 낮은취급 당할까봐 쫄린다 ㅜㅜ
-
갈비ㅇㅈ 17
냠
-
키 174 몸무게 47 키빼몸하면 127나옴
-
카케구루이 트윈만 애니로 조금 봤는데 이게 고등학생들 맞나 ㄷㄷ
-
끝나자마자 봤는데 ㄹㅇ 자살 마려웠음
-
술주정해본 적 있음
-
전 24수능때 과탐한거...
-
구라 같지? 11
각오해^^
-
근데 슬슬 두렵다 12
조카가 생기기 시작함.... 나도 돈 뜯길 날이 얼마 안 남았구나
-
70+가 사람임????
-
천만덕 가쥬아
-
-
밀주일 정도 쓰니 쪼까 싫증 나네
-
여친 ㅇㅈ 6
-
美 법무부, 트럼프 수사 검사 12명 ‘무더기 해고’ 1
[앵커] 취임 일주일을 넘긴 트럼프 미국 대통령, 거침없는 행보를 이어가고...
-
갤탭 사야지 4
s10+가 12.4인치던데 이정도면 필기하는데 불편함은 없겠죠?
-
어캐하죠
-
레어사요 7
레어사요...
-
원래 모르는건 2번찍기로 결심햇엇는데(정치x) 공통 답배치가 생각보다 너무 고른거임...
-
어휴 정보만얻고나와야지
-
노병은 죽지 않는다 14
나 공부 시작함 치타 달립니다 딱 대세요
-
이빌트원 레어 가져갈거면 둘다 가져가라고
-
세젤쉬 공통-쎈 이후에 알텍 들으면서 빡t 커리 탈 예정이었는데 정병호 괜찮다는...
-
첫 풀이 2000덕 드리겠습니다!
-
방금 확인해봤는데 가셨네요..요즘 우울해 보이시던데 행복하시길 바랍니다.
-
-
-
3단으로 만들어야지 헤헤
-
운동을 잘 못 했군...
-
흠 열심히 해야겠네
-
-
설날 분위기를 깨고싶지는 않아..
-
행복하세요,, 6
-
https://leftvalues.github.io/
-
기후파트까지 했는데 지리 관련 한반도 모양밖에 모르는 본인이 듣는건 아닌거같다는...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?