공리를 부정해도 무모순임
게시글 주소: https://a.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
메시와 호날두라 할 수 있다.
-
다군에 동국대 열린전공(인문)은 추합 얼마나 돌까요...??.? 70명 뽑고...
-
이거 태블릿 지급이라고 돼 있는데 사양 괜찮은가요? 2주전에 13인치 스마트탭 샀는데 반입 안되죠?
-
동일 학교 높공 버리고 상경 썼는데 벌써부터 미친듯이 후회중임 살자마려운데 +1이 답임?
-
어저께 그 도시락 또 있었음 ㅋㅋㅋㅋ 그거 먹을까 오만번 고민하다 결국 햇반만 사왔네요
-
왜긴왜야 모고 볼때마다 화1 인원자수 갈려나가던데 ㅋㅋㅋ 분명첨에 3모칠때...
-
하나 못풀었을때 멘탈이 갈릴듯 96이 목표면 두개 못풀었을때 멘탈이 갈릴듯 92가...
-
본인 여사친 존예에 씹인싸에 공부잘하는 명문자사고생인디 신남연 팬임 ㅇㅇ 신은 공평함
-
걍 가슴쪽이 좀만 아파도 어제 그 병원에서 과잉진료한거같고 그럼 내 피같은...
-
제 레어 언제 와요....
-
초성게임 시작(끝) 38
답 맞추면 5000덕 ㅅㅇ 12시 3분까지 받음뇨 기회 무제한 힌트:고유명사...
-
공부인증1일차 4
3모 23311가 목표입니다 앞으로 더 열심히 노력할게요 현역 문과정시파이터의...
-
올해안에 되긴할려나
-
그때부터 오르비 비호감됐는데 진짜 이상한사람들 많네
-
2025년 1월 1주차 韓日美全 음악 차트 TOP10 (+2024년 12월 4주차 주간VOCAL Character 랭킹) 2
2024년 12월 4주차 차트: https://orbi.kr/00071194122...
-
수강하신분 계신가여? 하셨다면 후기가 궁금하네요..
-
1번틀 98점 되고싶었음 물론실력은안됨
-
10명중 5명이나 점공을 했어요지금 1등이라 4명만 더 알면 되는데...
-
별론가
-
초성게임 시작 3
ㅅㅅ
-
재밌어요... 현역(진)인데 말이죠
-
이거 맞지..? 포모 오네
-
ㅇㅈ 15
실시간 저녁 ㅇㅈ.
-
저랑 만나실 수 있는 데이트권을 드립니다 넵.
-
강기원T 수학 7
강기원T 수학 라이브 듣고 있는데 강의는 따라갈만한데 어싸가 너무 어려워요.. 고3...
-
물리 2 지구 1
물리2랑 지구1 중에 뭐가 더 2등급 하기 쉽나요? 둘다 처음합니다 다만 물2는...
-
07들이제들어오는데 예아피방재밌노 Wwwwww 이럴순없잖아요…
-
2만덕 드림 나군 밖에 안 될 거 같아서 나군 기준으로 합니다 최초합 ~ 예비...
-
수학 실수는 대체 어떻게 하면 고칠 수 있음뇨?? 15
25 9모 3점 틀(24번인가 25번) + 22 29 사칙연산 틀 25 수능 5번...
-
물론 너무 낮은대학이 아닌이상은 ㄹㅇ 과가 더중요한거같은데
-
화학:기체추론,양자수추론,이온화 에너지 퍼즐,중화반응 << 시간관리 실패하면...
-
어디인가요? 성대. 중대 제외하구요 ㅜㅜ
-
건대
-
6문제 남앗다 갈길이멀다 10개월 남았다 한달에 0.6문제만 더 맞히면 된다
-
나고3인데 불쾌하네
-
성대 소프트웨어 0
작년에 몇번까지 돌았나요?
-
나도 이미지 써줘요 21
-
시대인재 모의반 9
모의반이 7월에 수강신청을 시작한다는데 그럼 전부터 다니고있더라도 수강신청 못하면...
-
현재 07 현역이고 언미물1생1 공부 하고 있습니다공부를 하면 할수록 물리를 할바엔...
-
선물 드릴게요
-
이미지써주세료 4
으하하
-
현역이고 일단 국영수도 할 시간이 모자른데 과탐을 하나 끼고 가는게 맞나 싶네요…...
-
이미지 써주세요 5
라는 어그로로 화1홍보하겠습니다 님들 화학 개쉬워요 얼마나 쉬우면 1컷이 50...
-
얼버기 7
7시에 자서 지금 일어났음요 내일 긴 여정을 떠나야 하는데 큰일났다!!
-
오늘 친구랑 손절했어요 11
이제 남은 친구는 한 명 이 친구마저 사라지면 전 진짜 혼자가 되겠네요
-
이미지 메타 탑승 34
ㄱㄱ혓.
-
내 이미지좀 3
궁금해
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?