공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
문과 머리입니다!!!!
-
근데 의사 전망 1
ㅇㄸ?
-
사과문 23
1. 먼저 최근 저의 행동으로 의도치 않게 '성호랑'님께 심려를 끼쳐드리게 된 점에...
-
21번 선지보면 조정식은 그냥 뒤에 raw observation 이 틀렸다는거고...
-
수학보다 국어가 오만배 나음/ 답정너 아님/ 윤리 나쁘지 않음/ 모두 노베/ 현...
-
이렇게 쓴다는거임 16
-
ㅈㄱㄴ
-
노트북 전원불은 들어오는데 젼원 눌러고 켜지질 않음 그냥 어두운 화면
-
중2의 고1 모고 ㅇㅈ 16
ㅈ같은거 국어 : 시간없어서 8문제 날림 수학 : 실수로 (4점) 3문제 날림 ㅅㅂ
-
문학 평가원 기출 문제집 가볍게 볼 수 있는 얇은거 추천좀 해주세여 ㄱㄱ
-
전 t보다 u가 좋아요
-
뷰릇 34
배고파서 배에서 소리낫어요
-
어떻게 하면 계획을 잘 짰다고 소문이 날까요
-
시험지 뽑음 미적분 100분 재고 풀거 맞춘사람 2000덕씩
-
왕잘하는 아사람
-
원래 강기본 강기분 이렇게 루트 타고있었는데 문학은 확실히 나아졌는데 독서는 뭔가...
-
영어 2까지는 수능때까지 어떻게든 올릴수 있을거같은데 현실적으로 1은 힘들어같아서…...
-
그 위에 있는 천장을 왼쪽에서 오른쪽으로 긋고 아래꽁지를 위에서 아래로 그음
-
시브레...
-
수능 성공한 사람들이 푼 컨텐츠 정리 + 리뷰 이게 최고라고 갠적으로 생각함뇨많이 개인적인 의견
-
투표 ㄱㄱ
-
뭐가 더 ㅈ같음?
-
코피 일주일에 3번 20
저 죽어요..? 몸이 이상해요 등급은 올리긴했는데 그 대가가 제 목숨이면 안되는데
-
공부하러 11
갈까말까
-
쟁여놓기
-
29000 뽕 뽑아야지
-
이 수강후기를 기반으로 작성되었습니다 검색어 범준 범바오 스블 카나토미
-
화2 짱이네 2
한번 비상교육 교과서만 30분동안 중요한 개념들 위주로 완독했더니 개념량 진짜 적고...
-
짐 다 뺐는데 퇴소한건가 혹시 나 때문에 자리 옮겼나
-
이 말 들었을땐 걍 하는 소린줄 알았는데 진짜였노 ㅋㅋㅋㅋ
-
0 ≤ t < 6일 때는 말이지~ 무슨 a 값을 넣든 간에~ g(t)의 최소값이...
-
5분후에 12
공부zone에 들어가겠음
-
미적4권 일괄 2만원에 올렸는데 팍 식었나
-
진짜 조은 글 1
https://orbi.kr/00070076768 조시 우님 과탐 공부법 글
-
옯스타 킬때마다 0
존예 인플루언서들이 반겨줌
-
거기 지나가는 오르비언님 듣고 가세여
-
현역들한테도 쉬운 시험이였을것 같긴 한데 어느정도였나여? 막 존나 쉽노;;...
-
만백 100 나오려나
-
나도 이쯤에서 8
마무리하는게 좋을 것 같기도 하고 너무 오래 있었던듯
-
님들아 0
-
열심히하는분들은 의지가 큰거겠죠?
-
옯스타 9
@simsimhan07
-
봇치야 댭은 12야 그냥 내가 풀태니까 네가 내 말투만 바꿔줘
-
체감 난이도 어땠나요?? 어떤 문제들이 좀 어려웠나요??
-
메가스터디 환급 0
수능성적표 온라인 발급한것도 인정해주나요?
-
옯스타 4
사평우
-
이건 악성곱슬보다 더하다고 생각함
-
ㅠ 1
-
미안해요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?