공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
배고프네 2
라면 끓일까
-
여주가 다정한 서브남주랑 달달하게 썸 타다가 겉으론 차가운듯하지만 모든게 잘 맞았던...
-
점공 좀 해주세요 다같이 하면 상부상조잖아요
-
얼굴 ㅈㄴ상향평준화돼있네
-
실수도 제일 ㅂㅅ같은실수함
-
-
아가 자야지 8
모두 굿밤
-
확 으흐흐 으흐흐
-
아주대 등록금 13
700이 한학기 인가요??
-
자신감 차잇엇는데 다 날아갓어 와진짜 말도안되게 어렵네 문제가 와… 오늘 잠 안오겠다
-
단과갔는데 8
질문받으러 존예 조교랑 평범남 조교 두명 있었는데 한쪽에만 줄쓰고 남자 조교는 줄...
-
ㅇㅇ?
-
네
-
정시로 빨리 안돌린거..솔직히 2학년때쯤에 던지고 수능팠으면 고점이 어디일지...
-
안녕하세요 20살되는 여학생이고요 올해 정시로 홍대나 잘하면 외대를 갈 것 같아요...
-
흐흐
-
수위 테스트 5
사냐?
-
하이샵은 그렇게 잘 따라하더니 급노잼
-
집에 주워먹을거없는데...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?