공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
티지에서 면류 왤케 후루룩대며 먹는거 보여주는지 모르겠음 0
먹방도 아니고 드라마에서조차 그러는데 진짜 몰입깨짐 감동적인 장면인데 죄다...
-
@-@ 5
-
한의사이신 분들이 침술 세미나 같은 거 열어주면 안됨? 9
아니면 원데이클래스는 에바니까 약간 학원 과외 다니듯이 침술만 알려주는 거임...
-
서로 알게되고 친해진애있었는데 얘는 중간에 국제중으로 전학가고 민사고 국제반...
-
내가 사랑하고 아끼는 사람들한테 주저하지 않고 미친듯이 베풀어주고 싶다
-
제안서 쏠 때는 자기 수업 어케 진행하는지 정확하게 다써야함? 아니면 자기 성적...
-
작수 54575 화작 미적 생윤 사문입니다 올해는 화작 미적 한자 사문합니다 탐구는...
-
사실 예전에도 한 번 올렸었던 적이 있는 글인데요 독서 연계대비서를 만들면 도움이...
-
사탐런이 답인가 3
이번에 지구 봤는데 4등급 ..ㅜ 현역 재수 둘다 지구 했는데 사탐런 해야되나.....
-
개 씹 술 찌 7
한잔마시면 얼굴 눈 몸 빨개지고 돌연변이됩니다
-
대부분 교양 수업하고 그렇게 안빡세다는데 맞는건가요?... 공대자전인데 높공 가려면...
-
레어사세요..... 11
레어 사주세요... 칸나 빼고..
-
6년, 심지어 N수면 5+N년을 이과로 살아왔는데 대학간판 높게 가져가겠다고 교차를...
-
반수할겅데
-
원래 16만원이나 하나요?? 비용이 부담되네요
-
212930빼고 그나마 어려운 20번도 통합 13번급이고 나머진 기출의 연속에...
-
존잘이면 5
자연스럽게친해지기 용이한거임 아니면 여자들이 미친듯이 달려듦?
-
아하
-
-
-
고 1
백
-
그사람에게는상처가될수있잖아요..
-
-
사실 알찼는진 잘 모르겠지만 아무튼 수고하셨습니다
-
수많은 칼럼, 자작 모의고사, 암테 ㅇㅈ 을 보면서 난 아무것도 아니라는 걸 느끼게...
-
이런거 안알려주나 침술만 알려주는 그런거 없음?
-
중국, 170만 교민 활용 캐나다 반중 정치인 낙선 시켰다 1
━ [제3전선 정보전쟁] 중국의 선거 정보전 중국의 캐나다 선거 개입 논란으로...
-
ㄹㅈㄷ공하싫 5
으악
-
당황스럽네 세 이차곡선을 묶는 핵심적인 개념 아닌가..
-
얼굴 예쁘면 9
자아효능감 생겨서 오히려 공부 더 잘될껄 실제로 화장하고 온 날 공부력 상승한다는 한 연구결과 있음
-
아으…ㅜㅜㅜㅜㅜ
-
전 불호임 특유의 인공적인 끝맛이 ㄹㅇ토할거 같음 그래서 제로콜라도 못 마심
-
흐흐 첨엔 간식없이는 눈길도 안주더니 요즘은 만지라고 들이댐
-
반수비용 벌어야지...
-
뉴런 0
수1수2미적 동시에 돌릴거면 2달 잡고 하면 되나요? 2달 너무 느린가요?
-
시립 vs 경희 14
시립 경희 중에 아웃풋만 보면 어디가 더 좋나요?? 과는 둘다 전전컴이랑...
-
ㄹㅇㅋㅋ
-
안녕하세요. 저는 25 수능 현역으로 물리학2를 응시했으며, 44점을 맞아...
-
고3인데 미적확통만 하는데 문제 안풀릴때마다 너무 짜증나오ㅠ 별것도아닌걸로 짜증나고...
-
낼 도전해보세요
-
드릴 6을 출시 하실까요? 제가 작년에 드릴 5를 끝냈는데 ( 강의X only...
-
지구과학1 22수능 20번 변형 자작문항 평가 부탁드려요~ 2
정답은 댓글 다시면 알려드릴게요~ 난이도 등등 평가해 주시면 감사하겠습니다 ㅎㅎ...
-
ㅎㅎ
-
개 키우고싶다 0
소형견은 평생 아기같은데 중형견은 두툼한게 ㄹㅇ어린이같음
-
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
https://orbi.kr/00071620446 배포한 모의고사의 오탈자 및...
-
허거덩 0
0303
-
계약학과라도 사탐런이더유리하겠죠? 과1사1이랑 과2중에고민중
-
사람 별로 없네 0
이따 다시 옴 뻥임
-
아시는분
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?