공리를 부정해도 무모순임
게시글 주소: https://www.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
잠정조치수역에 등장한 중국 구조물…소 잃고 외양간 고칠 것인가 1
지난 3월 14일 오전 9시 55분 해수부 어업지도선 무궁화호가 서해 한중...
-
중국이 서해의 한중 잠정조치수역(한국과 중국이 경계선을 획정하지 못 한 수역)에...
-
속보)대구 눈옴 1
ㅇㅅㅇ
-
아침이네 0
-
거의 7~8년만에 최대로온듯
-
고대 교과 학부 점공 있으시분 한 몇바퀴 돌까? 740 ? 737 ?
-
얼버기 0
6시반에일암
-
수출마케팅 주도권 분담 ‘큰그림’ 합의 향후 5년간 300억달러 시장 예상돼...
-
국어 수학 영어 생명 지구 사탐런이 하고싶지만 메디컬 최저러인 저는 과학을...
-
설경영, 점공 50등 395.7 까지 합격(현재까진 뒤바뀐 순서도 없고) 0
점공 상으로는 cc빔이나 aa뒤집기 사례 안 보인다
-
https://sbz.kr/zdk1D
-
고2때까지는 쎈 마플 밖에 안풀어봤었는데 고3되고 막 어려운 것도 풀게 되니까 느무느무재밌당
-
일병 때부터 리모컨 쥐기 5살 어린 여간부한테 존나 개기기 진누 3번 당하고 병장...
-
Годы будут ждать, когда ты соберёшься 0
시그마시그마보이시그마보이시그마보이~ 까쥬다야지브치온카호칫딴찌바찌스따보이~
-
강의 꼭 들으면서 해야 됨? 걍 혼자 머리싸매면서 앞에 개념정리랑 해석해도 괜찮을 것 같은데
-
배경화면 바꿈 3
1년 넘게 똑같은 배경 보다가 질려서 바꿨는데 어떰요
-
다 끝난 일이라 별로 의미 없는 질문이긴 하겠지만 궁금하긴 해서 혹시 국어...
-
그만큼 아웃풋이 나와서겠죠? 양극단으로 성대랑 건대 보다가 문득 궁금해짐..
-
모짜렐라는 식감때문에 먹는 것이라는 것을 깨닫고 돈 아까워징
-
고3 현역 뉴런 0
현역이고 1학기 내신 남았어요 수분감 이미 풀고 있는데 뉴런을 들어가는게 맞을까요?...
-
덴마크 친구인데 코펜하겐 대학에서 옴 거기선 거의 서울대 다니는 느낌인가?
-
괜찮을까요..? 2학기는 휴학할거고 학고 반순데 왜 굳이 기숙사를 가냐하시면 집에서...
-
동국 아주 1
어딜 가는게 나아보이나요..?
-
발표직전 시간은 지금보다 더 느리게 흐른다
-
메에에에에에롱 2
에베베베베베베베베ㅔㅂ베벱
-
어떻게 치우지
-
이쁘기만하면 중국인이라도 ㄱㄴ?
-
흐흐 3번씩 오탈자 오타 검토하긴 했는데 흐흐 생2 내일 오후에 올릴예정 많관부
-
하이 1
바이
-
잘 자요 2
이제 자러감
-
현상금 천덕(한명만)
-
서울대 연세대 고려대 <<< 존나 머리좋은 사람들이 다닐 것 같음. 6
내가 다니는 대학 <<< ㅂㅅ학교같음
-
그나저나 이제 입학이후가 걱정이네요 학점을 평균이상으로는 받을수잇을런지
-
아 환급 ㅅ1ㅂ 1
3월 탐구 한 과목만 채점해서 환급 안 되네 시발
-
라는 나쁜말은 ㄴㄴ
-
기차지나간당 14
부지런행
-
그걸 하나씩 헤쳐나가면서 성장하는거예요 모두 편안한 밤 되세요 。◕‿◕。
-
잘자요 13
내일하루도기분좋았으면 모두들 수고했고 잘자요! 좋은밤되세요
-
현역 경기대 수준이 재수 에리카 공대 삼수 동국대 사범 4수 설대 상경이 될수도...
-
https://sbz.kr/zdk1D
-
독립 관련 아니면 자손들한테 혜택 오는거 하나도 없음
-
제가 아는 사람중에 ㅈ반고 내신 1.9였던 애가 있는데 개네 조상중에 국가유공자...
-
눈 ㅈㄴ오네 2
하
-
어우짜증나
-
진짜생각없이사네...
-
저 희귀병에 걸렸어요 누가 진단했나요? 제가요 이게 무슨ㅋㅋㅋㅋㅋ
-
이번 수능 기준으로 화작 97 확통 96 영어 100 동사 50 사문 50 대략...
-
아오 서버 0
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?