공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
현역이고 고2 모고 70점 후반인데 션티는 abps 저랑 안맞는거같고 김기철도...
-
한의대 사탐런 4
경희대 한의대 목푠데 인문으로 넣으려고함 근데 미적 사탐2 하면 불리해지나?...
-
여르비들 보라고 그런건가요?
-
맨날 티비 보면서 얼굴이 어떻다, 별로다 못생겼다 만나자마자 가족들한테 니 얼굴이...
-
ㅇㅇ
-
게임,유튜브머신됐다 어카냐
-
내일 내겟습니다
-
세월 참 빠르당 군대에서 뭘 할까 고민해봤는데 로씨행…은 제 능지로는 힘들거같고...
-
강릉치 폭인가요 0
??
-
지원자격만 되면 붙어요? 아님 못붙는경우도있나여..
-
저 깁슨 일렉기타 전적대 다닐 때 과외 하면서 모은 돈으로 삼
-
현강 지금 갈까 고민중이다 ㅇㅇ 1. 강민철이랑 반대되는 스타일이라고 하는데 맞음?...
-
후기는 낫배드임 소?장 가능할지도
-
이 문제 방정식 세워서 푸는 분들 많은데, 굳이 복잡한 방정식 세우지 않으면서 적은...
-
용돈 많이 주네 근데 친척 모인 곳에서 반수한다고 말함 ㅋㅋㅋㅋ
-
투자를 해볼까
-
질문받습니다 5
스펙2시 취침 8시 기상 갓생의 사나이임저녁 안 먹음정상인임
-
50명씩이나 관심을 가져주신다니 모두 정말 감사합니다....
-
나군 외대가 목표입니다 제 앞에 있ㄴ는 사람들은 저게 다 입니다. 저는 예비...
-
지금까지 1, 2편의 칼럼을 읽으셨으면 그 풀이법을 종합하여 풀 수 있는 간단한...
-
공군 훈련소 입영 전 맛있는걸 먹고 싶었던 나는 트레이더스에서 딱새우회를 사와...
-
면접 사라져서 작년보다 많이 올라갔나요?
-
우연이겟지.....? 16
설마아... 아니지..?
-
감독관들 인건비 때문인가요? 아니면 출제자들 때문인가
-
예비고3 이제 수능공부 시작해보는 학생입니다. 영어가 노베는 아니구요. 수능영어는...
-
잔고 개허벌이었는데 급전 들어와서 살만해졌네 ㅋㅋ 돈 받은 기념 선착 3명 세뱃덕...
-
점공 입력했는데 성적인증이 3일 정도 걸릴 수 있다네요… 지금 보고 싶은데 혹시...
-
올해도 내한해줘
-
저메추 3
ㅇ
-
교육쪽으로 진로 잡으면 크게 될 사람이라고 했던거 생각나네용 왜 그런거 있잖아용...
-
헤헤 6
새뱃돈 많이받아따
-
전 관성임
-
프사 바꿀까 6
흐으으ㅡㅡㅁ
-
엄...... 나의 완벽했던 교재비 계획이 많이 꼬였네 ㅠㅡㅠ
-
토스로 보내달라 해도됨? 집에서 세배함
-
외가 쪽이 7남매라 다같이 집에서 술마시고 다같이 기절함 나 혼자 집가는 중..
-
입학전에 머리 자를지 말지 고민되네
-
맛보기만 할게요 암흑우주진 고고혓
-
나 거의 몇달에 한번씩 남
-
고간 8
고려대 간호학과
-
세뱃돈 정산 1
5만원…
-
버린것도 많고 가는 곳마다 머물지를 못해
-
~
-
수업중에 사담 단 한마디도 안함?
-
ㅇㅇ
-
경북대이고 6명 뽑고 진학사 실제지원자 36명이였는데 거기서 2명 줄어서 34명이...
-
마타 아시타 7
오늘 애니 겁나 많이봄 헤헤 헤필 1장 노겜노라 2~12화 사카모토 데이즈 1화
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?