공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
점심 돈까스였는데 저녁은 깔끔한거 먹는게 좋지않나
-
모교에서 볼건데 신청 어케함뇨
-
저번에 수학 내신 대비 칼럼도 적어오겠다고 했는데 하.. 귀찮아서 미루게 된다.. 크윽
-
기하런 1
인강 시작하려하는데 추천좀요
-
제가 조정식쌤이랑 안맞는건지 아니면 제가 영어 인강 활용을 못하는건지 믿어봐 듣다가...
-
행복하세요 7
-
오늘 과외하다가 학생이 나한테 궁금한게 있다고 해서 들어봤더니 "한 대 맞은 이도현...
-
아
-
그게 나야 바 둠바 두비두밥~ ^^
-
한우를 얻어먹읍니다
-
이거 모고에 ㅈㄴ 많이 나오는데 무슨 반응식인지 아시나요
-
요즘 느끼는것 2
-
으윽..... 역시 정시는 안될것같아... 닥치고 수시나 열심히 챙겨서 학종으로 가야지 으윽
-
의대논술용으로 만들었던건데 작수 미적 1컷인 재수생한테 던져줬더니 16문제 중...
-
[FIM] 28번 문풀(역함수가 존재하지 않는 f(x)에서 f(g(x))=x) 7
난이도: 6.5/10 앞페이지 문제난도는 다 그냥저냥한듯
-
월요일부터 4월 10일까지예요. 모교에서 볼 사람들 접수받습니다. 저희 학교는...
-
오늘 새로해봤는데 바꼈음.. .
-
제 일년간 ㅈㄴ 열심히 활동한 동아리 세특이 선생님 실수로 저장을 안누르셔서...
-
군수생 질문좀… 0
노베이스 군수생 내년수능을 목표로 공부중입니다 전역은 이번년도 12월말이고...
-
윤□영 6
이거 이번 수능 연계로 나옴.
-
학원에서 푼 기출들 정리해보면서 다시 머리 속에 정리하는 시간을 가져봐야겠어요...
-
느좋스 5
ㅈㄱㄴ
-
1컷 표점이 137이면 15
개어려운거임? 고2 수학임
-
어른스러움을 동경하는듯 내가 애새끼라 그런가
-
느좋< 발음 너무 힘듦 14
혀가 자꾸 꼬여서 현생에서는 그냥 느좋 대신 느낌좋은? 으로 풀어말하기로 했음 ㅇㅇ
-
낼까지 양식 제출인데 본인 희망 전공 전자전기공학이구요,, 굳이 물2 아녀도...
-
넌 존나멋있는놈이야 넌 성공해라
-
지엽파는거 좋은것같음 걍 스튜디오버전으로 들을걸
-
침대에서 책상피고 고고 전 일케 하니깐 잘됨
-
정보량 감당이 힘든데 이럴때 멈추고 정리해서 가야하나요??
-
뭘 기대하고 들어오냐 가서 공부나 해!
-
집공부 어케함? 폰을 못내려놓겠어욥 집에서 했으면 수학 3도 감사할뻔
-
Mbti 100% T라고 하길래 놀랏음.. 커뮤에서 말하는 거 봣을땐 무조건 f같앗는디
-
저녁엔 뭘 먹어야 됨?
-
보테즈 갬빗해서 질 뻔하다가 동생이 킹희생해서 이김 휴..
-
기시감 도착 캬 1
근데 해설지가 무슨 560pg ㅋㅋㅋㅋㅋㅋㅋ
-
붉은머리 애니프사가 필요해
-
덮 3 모 2인데 깝치지 말까요
-
으흐흣 *혹시 문제가 되면 삭제하겠습니다!
-
프린트 할 퀄이 아님
-
외모 상관x 나이 상관x 아 뚱뚱하지만 않으면 됨
-
엘지7연승ㄷㄷ 2
계속 이럴거지?
-
진짜 현우진 분량하나는 숨이 너무 참
-
누가 노무현으로 해놨어 ㅅㅂ
-
한번씩 실수하고 웃으실때 되게 순박한웃음을 지으셔 귀여움
-
솔트배 영상에 나왔던 황금스테이크.유튜버 육식맨 형님도 한번 만들어보기도 했고,...
-
씹덕프사레어가 2
사기리였네 왜 인지를 못하고있었지
-
독특한걸로요
-
.
-
다행히 초딩들이 나보고 안 무섭다고 안 싫어하는거 보니 아직 최소한의 선은 지키고...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?