공리를 부정해도 무모순임
게시글 주소: https://ebsi.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
안돌면어떠카냐 짘짜 시바레
-
컨설팅업체가 뭔짓을 한겨
-
근데 올해 0
서성한 들어가기 왤케 빡세진거??
-
아니 주변 남자애들중에 INFP가 단 하나도 없음... 님들 MBTI 뭐임??
-
뭐사죠 차이가 큰가 오래쓸거면 걍 후자 …?
-
노문>>>경제라니 (보닌은 654점 약간 안댐)
-
설인문 395.3 내신 bc면 ㄱㄴ? 근데 자사고 내신 4점대 극후반인데도...
-
둘 다 할 수 있다면 뭐하시겠어요?
-
여친 엠비티아이 성향으로 어디가 더 좋나요?
-
ㄹㅇ로 관광지 수산시장급으로 돈은 돈대로 먹고 일은 일대로 안한거 아님?
-
진학사 고속 두개 사서 혼자 표본 분석하는 식으로 해도 ㄱㅊ음?? 컨설팅 안살거같은데
-
ㅋㅋㅋㅋㅋ
-
밥말았음 2
-
어문 700 697부터는 신학도 떨어지는데 올해는 대격변인듯..
-
동국대 조발 0
최근 몇년간 한적 있나요?
-
진학사부터 이미 꼬라지가 ㅈ같다던데 원서영역 존나 빡세겠네
-
이거 잡을 방법이 없어서 그렇지 무조건 입시비리 있을거같음 막말로 관계자 딸래미...
-
난 7시에 일어나서 국어도 해보고 수학도 해봐ㅛ는데 효율이 좀 안좋은거 같은데...
-
수특 구매 과목 1
추천점.. 국수탐 다 사는 게 나을까요? pdf로 나와도 종이에 풀고 싶어서 풀...
-
화1화2하면 1
서울대 말고 또 어디어디 제한걸리는건가
-
우선 금일 오전에 ㅍㅇㄹ 업체를 겨냥한 패륜 욕설과 과격한 언행을 한 점 사과...
-
증빙서류같은게 좀 필요하던데
-
아 뭐하지 2
아 뭔가 자고싶으ㄴ데 자기시러
-
성과를 내려면 과격하게 지원하게 만들어야 돼요 그래서 진짜 높은 곳을 쓰게...
-
사전예약 혜택도 받을 겸 바로 사전예약 하려고 함 한 번 사면 6년 내내 쓸 수 있겠지?
-
극한의 성대식 인재라...
-
왜 연세대가 뜸?
-
뻘글) 0
노래 끊어야 하는데 끊을 수가 없어서 수학/과탐 할때는 노래 들으면서하고 국어할때는...
-
구매해주시면 천 덕 지원해드립니다.
-
서울대 문과식 400+ 점수에 cc가능성있는 내신이라 컨설팅만 믿었는데 떨어지면 ..^^
-
지금까지 조발 난 학교 성대 연대 국민대 인하대 한국외대말고 더 있나요..? 제가...
-
가정형편 때문이라던지, 부모님이 N수를 반대하신다는지 등 직접 N수 비용을 버시면서...
-
강원의 vs 계명의 병원(강원은 2차병원임), to 등 다 따져봤을 때 당연히...
-
ㅇㅅㅇㅈ 2
-
네 게에요
-
정시 합격하면 2
정시 합격하면 고등학교에서나 담임선생님께서 바로 알 수 있나요?
-
나도 뭐라도 해야하나 10
나는 뭐 할게 없네 진짜 치어리더할게
-
재작년 고경은 올해느낌이면 66x들 거의 다 뒤지는건가 5
그런건가유
-
수능보기
-
옯 지원자들을 괴롭히나 고대 서강대 경희대.... 이쯤되면 걍 발표해라 특히...
-
원광대 2
조발하나요?
-
그게 어케되는거지....??
-
오늘은 하루종일 0
아무말도 안했다 아무한테도 연락안왔다 아무한테도 연락안했다
-
211129를 풀어봤음 12
케이스 따져야할게 많아서 좀 어려웠음... 슬슬 노?베가 된듯
-
난빌컨설팅받으면 1
유명해 질 수 있음
-
진학사 보기에 도가 튼 4~5수생들 둥글게 모여서 어디 스나를 해야할지 원탁회의하는 상상함
-
잘자요 4
내일은 오르비 안 들어오고 시발점 10강 들어야지 ! (5등급이) 감기몸살 걸려서 아프네요ㅠ 잘자요
-
ㅠㅠ
-
미적런 안 하고 걍 기트남어 쭉 밀고 드간담에 공통만 보는 수리논술 하는 게 훨씬...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?