공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
공부진짜재미없네 7
뭔 다 암기야 ㅅㅂ
-
시간 참 빠르네
-
헤헤
-
얼버기 8
폐렴구균 복습 시작
-
12000원 현금이라는건가
-
가능하다면 대통령이 돼서 내 망해버린 인생을 조금이라도 살려다오...
-
22수능 택시에서 보시고 만점받으셨다함 진짜 씹곹
-
ㅗㅗㅗ
-
내년수능을 노리는게 맞을까 이번에 개빡세보이는데
-
떳으니까말하지!!!!
-
지각 3
-
6평 입금 완료 3
운 좋게 집 앞 학원에서 받아주셨네요
-
심지어 교무실 들어가서 신청해야됨 ㅠㅠ
-
잇올에 전화하니까 빨리 마감되어서 주의하라고 하고 이투스 247은 오프 신청에...
-
6평 접수했다 2
비록 노베상태지만 응시해봐야징~~
-
고2 아직 미적분, 수2 안 나갔는데 정시파이터 가능한가요? 2
수1만 두번 돌렸어요 이제 수1 기출 문제집 주문했고, 쎈c 할 차례입니다. 수2는...
-
6모 러셀 접수 2
폰이나 패드로 해도 접수 가능한가요..? Pc만 가능하고 그렇진 않은지 궁금합니다
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?