공리를 부정해도 무모순임
게시글 주소: https://test.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
백분위가 높다? 이게 먼소리임 정확히..? 걍 높은 등급이면 당연한거 아녀?
-
국제고 친구는 또박또박 증거 들면서 논리적이게 대통령 사형 주장하고 일반고 전교권...
-
충격이네
-
표점 높으면 변표 때려도 동일한 백분위면 더 유리한거임? 유전 진짜 안될거같은데
-
반속 143 1
https://simritest.com/reaction/result/MTQz 이제 안해 ㅅㅂ
-
머가 더크나요 화지러인디 진짜 화학표점은 무조건나락인가요이제?
-
어쩐지
-
수요가있을거같아.
-
음 그래그래 3
형은 5만원 넣고 2.5만원 벌었어
-
인스타보다..
-
희망을 버리다 0
그래 나 안뽑아줄거 다 알고있어 아는데 구차하게 이러는거다 그래도 내 자존심 다...
-
아예 다른 헬지문 3갠데 난이도 순위가 어떻게 된다 보시나요?
-
다운받은지 10분은 됐나....
-
여러분 탐구 고를 때 10
어떤걸 최우선으로 생각햇나요 1. 고점 2. 난이도 3. 개념량 4. 흥미
-
반반무마니 5
-
과탐2컷이 사탐99보다 이득일려면 가산 몇 퍼여야함? 3
대충아시는분있나요
-
3도 힘든데
-
잘자요 1
내일 저 20렙 축하 해주세요 으히히
-
11.5오늘 메타 개 웃기네 ㅋㅋ
-
이거 기하지식이 아예없으면 못푸는건가요? 물리도 마찬가지로 내가 수1이 아예아예...
-
시대기숙은 걍 미쳣노 11
https://m.cafe.naver.com/ca-fe/web/cafes/romul/...
-
https://www.arealme.com/click-speed-test/ko/ 너무 어려워요
-
티원이나 딮기나 POM 선정할때 정글이 주목받는 느낌이긴하던데 젠지는 안봐서 잘 모름
-
https://simritest.com/reaction/result/MTYw
-
전 남자입니다
-
분당 러셀 0
지금 국어 am 단과 신청하려는데 들어본 사람 후기좀
-
조용히 좋아요만 누름..
-
올해 유럽문화가 1%냐 1.1%냐 하는데 지금 연대 문과에서 여기보다 높을...
-
한국 사람들은 정말 능력주의에 관해서 엄청 의견 갈리는듯 0
센델같은 사람 책 잘나가는거 보면 누구보다도 능력주의를 경계하지만 또 이준석같은...
-
추억이 새록새록하구나 그립다 2011년이
-
193이 최대다 5
나는 ㅈ밥이다
-
이상형 적고가 봐 10
궁금해서
-
반속 나도 0
-
kollusAgent 플레이어 자꾸 스팀 클라이언트 차단하는 거 족같은데 0
가상머신으로 인강을 보면 되는 거겠죠?ㅎㅎ.. 너무 꼴값인가 근데 도대체 왜 스팀을...
-
쉽지않아보임
-
성형 말고
-
173 0
-
https://chatgpt.com/share/6797a2bc-9db0-800e-89...
-
다들 왤케 빨라 3
님들 ㄹㅇ 기계인가
-
193ms 2
더 나올걱 같은데폰으로 하니까 잘 나오네
-
편의점 알바중이고 뭐 먹고싶은데 편의점에 파는거 먹고싶지않고 너무질림.. 맛없는건아닌데 개질려
-
경상도 밖을 벗어난 적이 거의 없음요
-
갑자기 궁금해졋어요
-
206ms 4
더 나올 거 같은데
-
반속/암테 ㅇㅈ 5
ㅁㅌㅊ?
-
나쁘지 않아
-
군수 할까요 1
현재 3수해서 내신기준 2.00근처인 학교 붙었어요(독학,2학기 학교다니면서 반수)...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?