공리를 부정해도 무모순임
게시글 주소: https://o.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
20만덕이나 털렸음
-
역내에 있는 용우동집 제육 짜글이 상당히 맛있네용 +역에서 택시 탈 때 택시 승합장...
-
그 세점을 지나는 이차함수는 항상 존재?
-
이전에 내신하면서 시발점 & 공통미적 쎈 2회독이상했구요 수1 - 수분감...
-
구석구석 핥아주세여
-
-
기하영입률의 0.1퍼정돈 되지 않늘까
-
낮잠 엄청잤다 0
4시간
-
-
-
하는 투과목 투표좀 부탁해요
-
설날에도 사람 좀 제법 잇는 거 실화임?? 하긴 나도 어릴 적에 부모 좀 설득 좀...
-
취업하고 재테크 시작하면 기본 몇천이 깨집니다. 어릴 때부터 연습해야함
-
한지 세지둘다 백분위98나오면 지학2컷 가능할까요? 6
아니면 훨씬어렵나요?
-
잡대들...
-
지수로그 방부등식 까지만 찍먹했는데 기본예제는 다 맞거나 살짝 조건 놓쳐서 틀리거나...
-
트위터 이미지 2
트페미, 덕질, 야동
-
이놈들아
-
트위터한다고하면 6
좀 이상함? 뭔가 이미지가 바뀐거 같네 예전이랑
-
ㄹㅇㅋㅋ
-
-
-
2077년되면 0
진짜 사이버펑크처럼 되나
-
나중에 델꼬다니게되면 아들이냐 그러겠네
-
한양대 학부-원광대 로스쿨, 원광대 학부-한양대 로스쿨 4
둘 중에서 누가 학벌이 높은건가요?
-
과연 올해 기하는… 일단 1만명..?
-
와 ㅆ 추워 11
그럼에도 걸어가기
-
지듣노 3
그래서 나히아 정주행해볼까요? ㄱㅊ함?
-
생후 116일차 안아줬더니 입 대빵나와서 울라그럼 걍 놀아주니까 웃어주는데 이잉
-
아닌가요? 경쟁률이 5.00인데 어케가능함
-
얼마길래 붙은거임
-
제이팝 얘기 나온김에 17
국룰 미세스 그린 애플도 들어주세요 열어분 신나는 노래 많아요
-
어디갈까요.... 삼반수까지 해서 가고 싶었던 곳은 서울대 어디라도 가고 싶었는데...
-
졸려... 10
으아..
-
어찌해야하나요
-
등수를 알 수가 있음?
-
나처럼 진짜 심연에 살면은 애니도 거의 모름
-
주인 잃은 레어 3개의 경매가 곧 시작됩니다. 오댕이"프랑스 귀족 혈통 비글인...
-
-
작수 물지45박고 끝까지 과탐한다고 하네 자존심이 중요한게 아니야 임마 대학을 못간다고!!
-
綺麗な髪を ただの一つも持たない 僕が見ている 風に揺れてるあなたの 綺麗な声で 僕は少しだけ歌った
-
주변에 현역 보면 이과가 더 많고 주로 걔네들은 아직까지는 과탐 많이 하더라고요....
-
꼴보기싫었는데
-
Hi 6
-
은테 부엉이 팔취해서 파테 만들기 ㄱㄱㄱ
-
반수 생각있으면 건대가는게 맞을까요
-
???
-
뭐임
-
미용쪽으로 빠지는 사람들이 사라져서 그런건가요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?