공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
산에서 자빠져서 0
엉덩방아 찧음 ㅈㄴ미끄럽네 바닥이 푹신해서 아프지는않은데 ㅈㄴ미끄러움
-
고3 기숙사 살 때 아무도 터치를 안 하니까 밤새 오르비 유튜브 게임 반복했음 이게...
-
이건어떰 8
모순(A and not A)거짓 모순거짓 무모순참...
-
23수능 국4(73) 수5(58) 영3 물4(65) 화4(61) 24수능...
-
언매랑 화작은 각자 장단점이 있어서 중상~상 난도에 표점까지 별로 차이가 안 나는...
-
확실하고 치밀한 전략으로 대입 성공을 완성하라! 2026 N수 성공전략 통합 설명회 0
2026학년도 대입을 준비하는 재수생 및 N수생을 위해 메가스터디학원에서...
-
생각보다 잘해주시네.. 만족스러워요
-
아니 블아 말고 아블 달라고요 ㅅㅂ 참고로 전 블아 안 하는 비흡연자임뇨
-
화통사탐으로 연높공 합격하는 점수가 어느정도 일지 궁금함
-
신종 플러팅 2
내일 써본다
-
사탐런 1
목표는 잘몰겠지만 일단 스카이 이상 25수능 32213 (화1지1) (국어개못함,...
-
본인은 국어,영어 성적이 압도적이고 수학,과학 말아먹었는데 취직이랑 재미 때문에...
-
성대 한교 1
644.46 가능?
-
노베랑 다름없나요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?