공리를 부정해도 무모순임
게시글 주소: https://9.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아 입시 커뮤는 역시 오르비지 질문해볼까? 시발 이게 뭐노
-
설마 자기 머리에서 나온거 아니지? 누가 원본 좀 찾아뵈
-
오르비 이상해 6
;;
-
ㅜㅜㅜ
-
그냥 공무원발사대 (연고대같은 높은학교는 행시발사대) 느낌 인가요?
-
잠깐 드라마 보고 왔는데
-
리젠 살려드림 3
님들이 살리셈
-
사실 문풀 시간도 시간이지만 손풀이 쓰는 시간이 적지아늠 가독성 높이려고 진짜 그림...
-
ㄷㄷㄷㄷ
-
아 얏됐다 4
펜슬 맛 갔네
-
그냥 릴스에서 슬픈 이별글 봤는데 거기에 사로잡혀서 3시간째 슬픔.... 내 얘기도...
-
싼거 있길래
-
나도 억빠해줘 7
으으응
-
그 축하하면서 동시에 드는 열등감 그러다 마지못해 폭발하는 감정 하지만 이 모든 걸...
-
억빠그만. 10
stop
-
ㄹㅈㄷㅁㄱ 1
레전드만개 by 켈황,디아블 at Dk Bnk전, 2025lck컵
-
고대 1년 다니고 이제는 재수하러 떠납니다. 그 전에 1년동안 만난 고대 맛집...
-
칸나 레어 빼고.
-
.
-
ㅇㅈ 5
야식 ㅇㅈ
-
건전한 글만 쓰죠 엣-헴!
-
ㅈ븅신들
-
ㅇㅈ ㄱㄱ 0
짜피 지금 못 봄
-
금테 남르비랑만 썸 탐
-
캐릭터는 잘 그려줬음요
-
맞죠?
-
동네방네 자랑하면 내가 내 특정을 파는 꼴이고 그렇다고 가만히 있기에는 꽤...
-
작년에 후한 편이었나요? 이거 붙을 수 있겠죠?
-
베르테르 18번 푸리 30
거의 색칠 공부 수준으로 열심히 씀
-
진짜 무 파 마늘맛 느껴짐?
-
안녕히계세요
-
2,3,4,5 안 보는데 보는게 나을까
-
??
-
14,20-22,27틀림 뭐하는게 좋을 것 같나용? 안정적인2등급과 1컷이 목표인데...
-
아가 신 잘게 7
모두 굿밤
-
ㅅㅂ10기가인데 너무 부족하다 다쓰면 4m/s?인데 노래도 재생이 안 됨 ㅅㅂ
-
부엉이가 쏘아올린 존나게 큰 공
-
윤도영 팩폭 ㅈㄴ박음 정시 쉽지않은거 ㄹㅇ
-
오르비에선 찐따라 맞팔이 필요해요
-
델타메일입니다 1
반갑습니드ㅏ
-
어쩌다 이렇게 꼬인건지 감도 안 잡힘
-
오늘 너무 오르비에 안들와서 요약이 필요함
-
눈 인증 1
할까 말까 새르비인데 아무도 안하네
-
군대가기싫다 4
경력단절뭐지다노
-
책 안 사고 28렙 어떤가요
-
또 해줘
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?