공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄱㄱ
-
근들갑 ㄴㄴ 애니랑 현실이랑 구분하라고? 나한텐 이게 현실이야.
-
흐흐흐 영화관 도착
-
날씨지랄맞네 0
기분 타나
-
O⁵ 5º O에 강세붙이고 5는 약하게 발음함? 아니면 둘다 같은 발음함?
-
다 죽어라 그냥 11
3점 위로 다 죽어
-
작년 7월 9일 시작 → 9평 백분위 89 → 수능 백분위 99입니다 근데 큰...
-
끄그극ㄱ
-
3일 뒤면 4월인데 무슨 함박눈이 펄펄 내리네 ㅋㅋㅋ 더 웃긴건 며칠 전만 해도...
-
-
1. 전제가 거짓이면 결론이 거짓이다 이명제는 반례가 있어서 거짓임 1의 반례는...
-
점메추좀 6
어제 저녁 안 먹고 자서 배곺아
-
-
입 열면 적으로 간주하겠음 (쪽지로 나 7.5점인데 독해 망했어 등등)
-
6점 크아악 2
-
기만러들 때문에 10
짜증나
-
눈개마니오네 2
3월 말인데 이게 가능하다구?
-
사정상 재수를 못 하게 되어서 양도해요 쪽지로 생각하시는 가격도 제시해주세요!
-
사탐런 질문 2트 11
1월 사문공부 시작해서 3모 1등급 했다에여. 근데 내신으로도 한 지구 ㅈ박아서...
-
국어는 작년 고2 6모 100에 고 1 때부터 이번 3모까지 1등급 놓친 적 없어요...
-
현 고3이고 지금 장재원씨 시즌2 수업 듣고 있는데요 원래는 현우진 인강 따라가려...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 누군진 몰라도 정시로 들어왔길 기원한다 ㅋㅋㅋㅋㅋㅋㅋㅋ 그리고...
-
이왜진
-
전에 과기원이랑 포스텍 끌고와서 "얘네 봐봐 지거국 너네가 내실 좆박은 거 잖아"...
-
고수는 아니지만 작수 1등급 받은 사람으로써.. 수능 끝나고 오랜만에 한건데...
-
충북대 붙었다 → 중국에 있는 대학 가냐? 실제 들은 말임
-
과팅 파토 각? 4
-
현역 고3이고 이번 3모때 확통으로 4가 떴는데 (61점) 심각성을 느끼고 현우진...
-
ㅈㄱㄴ
-
오르비 숨꿀 레어템 13
안녕하세요 오르비 디렉터입니다. 오늘은 쉬어가기로 오르비 숨꿀 레어템을 알아보죠....
-
세상이 망하려부다
-
3등급 대 대학에서 미적 기하하면 표점 10퍼 가산점 주는데 기하하는게 맞지?...
-
개무섭다 ㄷㄷ 8
-
날씨가 미쳤구나 2
이러다 다음주되면 장마시작하는거아니냐
-
지구과학 1컷 베이스는 있는데 생윤은 할 생각이에요
-
식비로 30만원 쓰고 다른 거 한다고 84만원을 쓰면 우짜냐.....
-
잘할수 있겠지??너무 불안하다
-
ㅈ댓다 6
지금 일어나버렸네....
-
X축,y축,원점 대칭한 후 평행이동 했다고 보는게 가장 실수 안하는 방법인가요?...
-
낄낄 2
담주가 시험이라니 ㅋㅋ
-
[2차]6월 학평 대결에 참여할 08년생 분들을 구합니다 21
안녕하세요, 중의적 표현입니다. 지난 3월 학력평가에서 강해린08님과의 대결이...
-
일단 저는 진짜 말그대로 국어를 감으로 푸는.. 고3인데요 고1 때부터 1~2등급...
-
-
수업때 분위기가 나랑좀 잘 맞는것같으요 이런걸원했어...
-
작년 고2때 10모 1등급 받았었는데 이번 3모 61... 낮은 3등급. 진짜...
-
차이가 뭔가요? 수학이요
-
물리엔제추천좀 0
역학 좀 부족한거가ㅏㅌ음 답지좋은걸로 ㄱㄱ
-
1위 부경대 부산 2위 동아대 부산 3위 영남대 경북 . . 10위 부산대 부산...
-
3모 시간 안재고 오래 푸니까 답 다 나오긴 하던데 2
시간 줄이는 방법은 실모 벅벅이 답인가.. 시간 제한 있을때랑 없을때랑 차이가 너무남
-
적분 문제 5
항등식은 미분이 능사일까?
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?