공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어디인가요? 성대. 중대 제외하구요 ㅜㅜ
-
그냥 운전면허따면 자격증 받는건가요?
-
지금 노는거 조금씩 줄여서 대학 잘 가고 줄인거 수능 끝나고 순도 100퍼센트로 놀...
-
빙수 5
맛있어
-
자유전공학과는 3
1학년 때 무슨과냐고 물어보면 가려고 하는 과로 대답 아니면 그냥 자유전공학과라고 대답하나?
-
올해 뭐 다군이 신설 많이됐다고 2바퀴만 돈다는 여론이 있던데 안붙을까요?
-
이미지써주세료 4
으하하
-
이미지 써주세요 4
라는 어그로로 화1홍보하겠습니다 님들 화학 개쉬워요 얼마나 쉬우면 1컷이 50...
-
강기분 수강하기
-
그냥 자주 겪어서 무뎌지는 수밖에 없나?
-
기차지나간당 6
부지런행
-
탈릅 전 무물보 4
한 번은 해보고 싶었어요 질문 없음 서러운거고 뭐...
-
. 2
진짜 마루타 같기도하고 Adhd가 없었다면 내 인생은 행복했을까? 라는 생각을...
-
나는 무엇을 하고 잇는 것인가... 책값과 패스값으로 얼마를 쓰고 잇는가...
-
히리이ㅣㅇ ㅠㅠ
-
여러분들만의 알고리즘이 있음? 저는 고등학교 전사고랑 ㅈ반고 고민했었는데 지금...
-
한달동안 왜안오나 했다 침대튀함
-
거기서 근무한 공익이었는데 전화받을때마다 xx동 행정복지센터입니다. 하는거 넘 길고...
-
아오 취한다 3
취르비
-
덕코 달달하네 4
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?