공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
컨설팅 업체가 망하든 어쩌든 갈 수 있었던 대학 못 가게 된 거는 변하지 않음.....
-
얼버기 6
-
오늘부터 3
제 공부도 할겸 매일 오후 11시쯤에 기출문제 하나 분석해서 올려볼게요...
-
정리한번 하고 싶어서 ㅎ
-
일단 1시단 넘게 풀집중 해본건 모고때 밖에 없음 국어 : 한지문 풀고 멍때림...
-
7시 20분 6
진짜 엄네 사람 밤 새는 사람들도 다 6시쯤엔 자러가던데 왜 그런거지
-
문과 전문직 0
만약에 회계사 준비하는데 경북대면 학벌로 손해보나요
-
잠 안 잔지 9
40시간 정도 됏네
-
22명 모집에 예비 18번 받았습니다....다군에 작년에 25번까지 예비 돌았고...
-
수학 현역 질문 6
수12 미적 까먹은 거 개개개개많고 할 것도 개개개개 많은데 못함. 또 고3모는...
-
핫식스 2캔과 함께라면 버틸만했으니 이번에도 버틸만할것
-
졸ㄹ리뇨
-
아마 여러분도 저와 비슷하듯이, 이미 성공한 놈들이니까 배때지가 불러서 저런...
-
일단 그 친구는 혈육이 정시 의대를 갔고요.. 학군지 친구라 중2부터 미적분을...
-
전 수시 최저러긴 한데 정시 성적 잘 나오면 컨설팅 받을까 생각하고 있었는데 고민을...
-
애초에 의대 합격한 25학번 조롱할 목적으로 커뮤 이용하는 앤데 3
그럼 쟤는 25학번 조리돌림해도 아무런 제재 없는데 그거 갖고 뭐라 하면 내가...
-
무등비는 솔직히 아예 안나온다고 장담은 못할듯 삼도극은 근사땜에 99%안나온다고...
-
제일 좋아하는 거였는데 카가미네 렌이라도 사수해야겟다
-
올핸 돈 아까워서 패스 안 살 생각이라
-
그냥 언매로 갈까 19
수능때 화작이 안 나갈거란 자신이 업슴 작년 2개틀 올해 1개틀인데 아 근데 또...
-
얼버기 0
-
그럴 거면 5만원만 받고 하든가 아 그리고 사과하면 앞으로 계속 박제되는 거라 절대...
-
오우석씨한테 뜯긴 돈을 회수해보자
-
더이상은안돼
-
6시군 5
슈퍼갓생과 슈퍼M생이 공존하는 시간이로다
-
하
-
근데 갈수록 레파토리가 너무 똑같음
-
딴건 다 되는데..
-
수,탐만 몰빵쳐서 반수가는거 마렵긴함..
-
고대발표 시간 1
제 날짜에 했을때 5시에 났나요? 아님 더 땡겨서 몇시쯤 났나요?
-
2만 2천자가 나와 버리는
-
정시위주로한 논술러인데 구경왔더니 문과얘기만해서요 ㅎㅎ 이과 마지막에 진학사 점수...
-
손리세로 3개다뽑았다 출격 빨리스토리보고 2차창작발사해야지
-
웹소설 추천 11
약먹는 천재마법사 << 전투씬 묘사가 예술임
-
ㅈㄴ우려먹네
-
문제 많이 풀어도 1등급 힘든가요? 제가 지금 일어나서 이 문제를 왜 틀렸나...
-
지금으로 따지면 어느정도 입결인가요?? 아버지가 경북대 전자공 졸업했는데 30년이...
-
내 역작 0
카타구리.
-
아마 대한민국에서 벌어지는 격렬하면서도 소모적이고 공격적인 논쟁 중에서 그나마 가장...
-
과탐 컷 빡세짐? 아니면 걍 근들갑이였음?
-
과외 시급 3만원 이하부턴 육체 노동이 나은 것 같기도 함 4
최저시급 10000원의 시대에 살고 있다
-
대략 삼룡의정도인가요
-
하나는 사범대고 하나는 신설 경제+디지털 학과인데 무휴학 반수하기에 어디가...
-
이따 신라면 먹어야지 스팸 넣고
-
고려대 아직 늦지않았다
-
뱃지를 벅벅
-
오늘 아니면 언제 할려고
-
진학사에서 1차추합권인데 점공률이 30퍼밖에 안됩니다 탈락한다고 봐야되나요
-
원래 웹툰 하려고 예전부터 스토리 구상해놨는데 그림 ㅈ같이 못그려서 웹소설로...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?