공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
드릴 6을 출시 하실까요? 제가 작년에 드릴 5를 끝냈는데 ( 강의X only...
-
지구과학1 22수능 20번 변형 자작문항 평가 부탁드려요~ 2
정답은 댓글 다시면 알려드릴게요~ 난이도 등등 평가해 주시면 감사하겠습니다 ㅎㅎ...
-
ㅎㅎ
-
개 키우고싶다 0
소형견은 평생 아기같은데 중형견은 두툼한게 ㄹㅇ어린이같음
-
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
https://orbi.kr/00071620446 배포한 모의고사의 오탈자 및...
-
허거덩 0
0303
-
계약학과라도 사탐런이더유리하겠죠? 과1사1이랑 과2중에고민중
-
사람 별로 없네 0
이따 다시 옴 뻥임
-
아시는분
-
연대 문과가 국문을 중심으로 6어문 학과들이 입결 진두지휘했듯이 고대 문과도 어문이...
-
학교 다니면서 공부할라는데 과탐 공부만큼 하면 노베도 3달 안에 2등급 베이스는 나오나?
-
모자에 1
눈 잔뜩 넣어버려야지 ㅋㅋ
-
뒤졋다
-
답 1/4인데 자꾸 저렇게 나오네요 제 풀이에서 어디가 잘못됐나요?
-
아쉽..
-
날씨 좋다 0
나가야지 ㅋ
-
동네 학원에 수학1은 0명인데 영어1은 3-4명잇음
-
백분위로 6모 정법93사문95 9모 정법88사문92 수능 정법80사문71 인데...
-
스매시 T1 내부 및 관계자 평가 요약 (추가가능) 10
뱅 - 카이사 플레이 당시 뱅의 해설과 스매시가 플레이하는 각이 같았음 (여기서...
-
탁탁탁 2
-
수학은 미적인데, 문디컬 목표이면 언매 필수 일까요? 경한 목표이긴 합니다..
-
롤체강점기 끝..
-
노래방이너무멀다 0
오늘같은날씨에500m는좀먼거같아…
-
현역 전과목 평균 5등급에서 시작했었습니다 많이 올린 거 같긴 한데 삼수 나이인 게...
-
설마 일반인들도 아는데 미 정보부가 모를리가 없잖음 진짜로 부정선거면 그쪽에서...
-
돈까쓰요
-
부산가면 3
어디가야 잘 갔다 칭찬들음? 부산러들 알려줘요
-
오르비 07 명단 좀 18
ㅇㅇ
-
?
-
뭐가 더 쉽나요? 사탐을 한번도 안해봐서 다들 사람이 쉽다 쉽다 하는데 이 정도를...
-
얼버기 6
ㅎㅇㅎㅇ
-
집에 이틀만 박혀있어도 폐인 된 거 같고 우울해짐 그냥 낯을 심각하게 가리는 E가 된 건가
-
크아악 가형35번대비하나
-
작년 추합 15명이었음
-
이유아는분?
-
ㅎㄷㄷ
-
일산청솔후기 0
2024년도에 일산청솔학원에서 재수했던 학생입니다. 학원 관리는 전반적으로...
-
과연 우리가 먹는 소고기 돼지고기는 동물의 어떤 조직 부위인가?
-
피곤해 0
잘래
-
공룡은 7
크다
-
결국에는 국문이 영문을 땄어요??? 진짜??? 정시상담할때 국문과 출신 선배님이자...
-
국민의힘 "이재명, 25만원 지역화폐 집요하게 요구…미래세대 약탈해" 16
[데일리안 = 김은지 기자] 국민의힘이 더불어민주당을 향해 "문재인 정부 때...
-
고오급 갈비 8
-
난 할 수 있다 1
-
아니 LCK로 올라오는 영상에서도 스매쉬인게 있고 스매시인게 있는듯
-
서바이벌하고 킬링캠프 이 두개가 제일 유명한데 서바는 하위 10프로 총살이고...
-
선착순 10명 세뱃덕 33
천덕씩(단, 세복많 이라고 써야됨)
-
尹 “꿈 키워야 하는 청년들 현실에 좌절하지 않을까 더 걱정” 6
尹측 석동현 변호사 “오늘 접견하고 나오는 길, 자신의 고초에 대해선 아무 말도 안...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?