공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
강등될락말락 ㅋㅋ
-
공대갈때 2
물리공부 할껀데 뭐로할까요? 내신+현역수능때 물리선택해서 노베이스는 아닙니다
-
죄다 평균에 걸쳐있어
-
아직 수시도 안끝났는데 너무 멀리 생각하는 걸까요 이번년도가 거의 마지막 기회라 부담이 심하네요;
-
근데 그때 프사 아는분은 조금 있더라구요 그러므로 그때 프사이자 제 첫 프사 댓글로...
-
시대 라이브 0
엄소연쌤 공통 들을려하는데 라이브 듣고 따로 인강커리도 같이 타야하나요?
-
첫인상 써주세요 31
-
강기원 미적이랑 김범준 미적 둘다 들어보고 강기원이 나아서 김범준 드립했는데 강기원...
-
-
정석준T 작년에 들었었는데 굉장히 고능하시지만 제 머리가 그케 빨리 안돌아가고...
-
뉴런vs시발점 0
이번수능 15 20 21틀렸는데 뉴런2025를듣고 2026을 들을까요 아니면...
-
치뱃은 달고 싶어서 19
다군에 쓸까 생각했었음 왜 뭐.
-
팔로잉 목록 봤는디 12
왜 1빠따가 정벽이었을까 아마 수능 성적 궁금해서 팔로우 했던 거 같은데
-
진짜 레전드 앰생이어도 안할거 같은데 저건 ㅋㅋ
-
수학 공통 공부 0
시대에서 송준혁쌤 공통 듣는데 잘안맞는거같아요,, 근데 그만두면 공통공부 더...
-
많관부
-
하 이걸 못보네 0
여르비 슬퍼서 우럿어 ㅜㅜ
-
리젠을 위해 한 몸 바쳐 장렬히 전사하신 ㄷㄷ 장례식이 4번 넘게 올라오는 사람은 첨이네
-
고2 노베 선택과목이 확통인 문과고 내신도 챙기려합니다 독학서가 제스타일에...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?