공리를 부정해도 무모순임
게시글 주소: https://iu.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
차단목록 10명도 안되네 다들 현생 사네
-
#논점 1. 인생은 재능의 연속이다. 음악, 재능이죠 게임, 재능이죠 스포츠,...
-
대학커뮤니티 노크에서 선발한 경희대 선배가 오르비에 있는 예비 경희대학생, 경희대...
-
실험용 0
1
-
2장 썼습니다 가:21명 모집 예비 18 충원율 2024:93% 2023:193%...
-
메인 댓글 xx 써걱
-
외대 14
재수 끝 마음 편하당
-
들려오는 친구들 소식에 의하면 고대 빼고는 다 발표한 것 같은데 고대 쓴 애들...
-
수능당일 피시방에서 탐구4보고 진짜 개망했네 영어1이 무슨상관이야 대학은...
-
레어좀사가요오 1
ㅜㅜ
-
헉 5
-
금방 끝날줄알고 안넘겼는데 존나김
-
충북대 MIT 경찰대x2 포항공대 육사 팝니다 아무나 사가주세요 ㅜㅜ
-
우오아ㅏㅏ
-
부러우면 사가든가.
-
안녕하세요. 연세대학교 사회과학대학의 한 과에 25학번으로 입학하게 된 학생입니다....
-
제 레어 사시면 벅스버니가 대신 당근을 먹습니다
-
러셀 ㄱㅂㅈㄱ 1
ㄷㄱㅈ~~
-
원래 용돈을 따로 안 받고 부모님 카드를 받아 쓰는데 너무 많이 써서 조만간 뺏길...
-
나군 오늘 3시 다군 내일 오후 8시
-
외대 5
재수 끝…….
-
안 씻었지만 씻은 듯한 기분을 느끼게 해주는 가운입은 벅스버니 사세요
-
이유는 집밖에 안 나가기에
-
샤워 일주못했는데 물리력 어디까지 올라가는거임
-
케이스 분류 차근차근해서 문제맞추는 그 느낌이 좋음
-
ㅠㅠㅠ
-
개이득인가? 중복도되나 T1 레어 만들어볼까
-
와일드리프트나 해야지 10
-
야 너네 2
내가 8달동안 기다려서 받은 킴민지 레어 뺏지마라.
-
뜨거운 합격 4
-
외>고 0
이시발
-
나진짜 4
월요일에는 1만덬 좀넘었는데 이제는 10민덬짜리 레어 보유지 ㄷㄷㄷ
-
나빼고 다 행복해보여 ㅎㅎㅎㅎㅎ 나는 언제 행복해질까?
-
뭔가 되게 조건들이 친절하게 준 거 같으면서도 편하게 가려고 하면 안되는 그런...
-
현우진 개정판 시발점 한정해서만 그런거 인강 듣는데 말이 너무 빨라서 마음이...
-
무휴반 불가능이에여?
-
언매 미적 생2 지2 할건데 과탐 과목 선택에서 불리한 점 없죠? 가산점이 5점이라...
-
얼리버드 기상 22
일찍일어나는 벌레는 일찍 죽어. 고로 나는 늦게 일어나버게되.
-
이거 ㄱㄴ? 0
다군인데 60명대 뽑는 과 점공계산기로 100등 아무리 올해 적게 돈다지만 두바퀴는 돌겠지…?
-
수학 0
지금고3이고 쌩노베에서(2점만 풀수있는수준) 공부 12월에 시작해서 지금은 2점...
-
물량 풀려서 덕생 망함요
-
니가왜여깄어
-
사문한지 ㅇㄸ 3
사문 내신1베이스 한지느 초면..
-
연의 합격증 보고 싶네 물론 난아님…
-
그렇게 됐어요……
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?