공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거 신입생 대상으로 하는 시험이던데 이거 보는 학교도 있고 안 보는 학교도 있던데...
-
개꿀잼이뇨
-
추ㅐㄹ비 12
40도양주마시거잔득취해버렷
-
오늘도 조용하네 5
내 일기장이 되었구나
-
생각보다 잘해주시네.. 만족스러워요
-
첫알바 어디가 ㄱㅊ? 15
돈이 부족하거나 알바해야만 하는 당위성이 있는 건 아닌데 더 늦기전에 경험해보는...
-
수분감 1
수분감은 왜 저평가받는거임? 뉴런들을사람은 수분감듣는게 더 효율적인게맞지않음?
-
쿵푸허슬 1
개재밌네 몇번을 다시봐도 재밌군
-
뭐가 더 쉽나요?
-
하루에 1gb 정도면 충분하겠죠?
-
그냥 순수 ㅂㅅ짓으로 환급 못받아서 날리는데 어캄
-
성형하고싶다 2
진심 눈코입 얼굴형 싹다뒤엎고싶음
-
현실에서 고등학교나 대학교에서 동성친구끼리 니정도면 ㅎㅌㅊ임 개빻음 이러고...
-
보상 받을지말지 때문인게 큰듯 그냥 1등급 나오는애들한테 공부하는건 어느정도 성적이...
-
빰빰빠바빰 2
즐거운 고연전 날에
-
나중에 막 코 들리면 어캄
-
제가 지금 모집인원의 딱 50%인 예비 번호를 받았는데 과거 3개년 모두 충원율이...
-
사람마다 최대치가 다르고(재능) 그 속에서 이제 노력으로 정해지는 듯 A는 태어났을...
-
옛날에 만든 거라 불연속 함수 적분 교과과정 안 들어가는 거 모르고 만듦.<--...
-
집에서 가장 가까운 관독이 여긴데(대중교통 20) 관리 빡센가요
-
메가패스 성적입력안해서 돈 환급 못받는 미친놈이접니다 어머니께서 알바비로 메꾸라네요
-
오늘 학생 둘이 저녁시간때 와서 중대 합격한거 축하한다 해서 사실 성대도 이미 합격...
-
시대 장학금 4
백분위 합 282 인데 이정도면 장학금 한푼도 못받음?
-
자금이좀딸리지만 걍살까..
-
흠냐 그리고 단원별 융합 문제는 어디로 분류해야할지 난감스함
-
-
https://xurl.es/4stnb
-
대학백과 여기에 2
답변 남겨보셨나요? 대학 다녀보신 분들
-
오히려 커뮤가 높게 쳐주는듯 ㅋㅋ 커뮤 3수 중경외시면 그래도 괜찮다고 봐요<...
-
배가너무아프긔 집까지 15분인데 그냥텐레포트하고싶다
-
-
면허땄다 12
만세
-
( 정부의 비과학적 졸속 의대증원 2000명증원이 증발시킨 건보 재정 2.9조원 ) 3
보건복지부 장관 조규홍 보건복지부 차관 박민수 교육부 장관 이주호 ... 등에게...
-
특정당할 일은 절대 있을 수 없음.
-
저메추 부탁함뇨잇.
-
외대ㅜ경제 0
빵 기원.. 쩝 표본상으로는 나름 빠질 인원 많아보였는데
-
가형은 무섭다 8
18 가형 1점차인데 백분위가 ㄷㄷ...
-
작수 강준호 커리타고 19,20 못 풀고 45점 나왔습니다. 이번에 김준...
-
피방오르비중인데 5
뒤에서 자꾸 힐끗대네 특정완료인가..
-
시립대랑 외대 경영 둘 다 붙을거같은데 어디 가는게 나을까요 아버지 회사에서...
-
탈릅해야겟다 3
왜 급할때 글 쓰면 맨날 답변 안 달림? 나 서운해...
-
노예비떨 ㅋㅋㅋㅋㅋㅋㅋ ㅜㅜㅜㅜ
-
끌끌..
-
뉴카멘 지리네이
-
뭔가 있어보이게 포장하기 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
케바케라곤하지만 난 항상 운이 없기에 개쓰레기자대로 갈거같음 새삼 뭔가 이리저리...
-
디시 빡갤도 나 하는데 거기선 익명인데다 지나치게 자유로운 곳이라 아무 뻘글이나...
-
이마에 이슬이 간절히
-
예비법조인분들 파이팅
-
왜 그렇게까지 하는거야 도대체
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?