공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
3단으로 만들어야지 헤헤
-
운동을 잘 못 했군...
-
흠 열심히 해야겠네
-
-
설날 분위기를 깨고싶지는 않아..
-
행복하세요,, 6
-
https://leftvalues.github.io/
-
기후파트까지 했는데 지리 관련 한반도 모양밖에 모르는 본인이 듣는건 아닌거같다는...
-
새뱃돈 8
나만 못받았네. 세배를 안했으니깐 당연한건가
-
이때 까진 기분좋았는데 ㅋㅋ
-
의사 큰아버지께서 대학 등록금에 보태라고 200주셨음..
-
ㄹㅇ
-
특히 성적이 거품물고 반대하더라고...
-
현질 괜히했네 뇌 녹을것같네 리롤이 뭐고 페어가 뭐냐고
-
덕코 벌어야뎀.. 레어....크아아아ㅏㅇㄱ
-
호훈vs노예 13
이거 대충이라도 알고있는사람 얼마나 남아있으려나 나도 직관 못했는데
-
뭐 성적을 올려서 최대한 해봐야될거같네요 ㅠㅠ
-
현역이가 한것들 14
국어 강기분 4주 + 5주차 진도 언매 올라올때마다 보는중 수학 강기원 어싸 4주...
-
서강대 합격생을 위한 꿀팁 5 [서강대 25][Tip.5] 0
대학커뮤니티 노크에서 선발한 서강대 선배가 오르비에 있는 예비 서강대생, 서대...
-
상습 글 싸기 3
-
문학 풀때 1
맨날 서술상의 특징만 틀려오는데 이런 거만 따로 기준점 잡아주는 인강 없나요 ㅠ 아니면 공부법이라도
-
서점가니까 국일만 말고 영일만도있던데 근데 이건 다른분이 쓴 책같데 이건 뭐임???
-
"주예지"
-
씹덕노래추천 12
goat
-
128 쓰는데 벌써 절반 넘게 참 중고로 팔고 256이나 512로 넘어갈까 산지 3달 돼서 고민임
-
기출은 작년에 이미 돌리기도 했고 내신 베이스도 탄탄해서(과중학교 1등) 기출은 안...
-
"강기원"
-
아주대 장점 0
의/약/대학병원/이공계/로스쿨/경영/인문사회까지 모두 한곳, 한캠퍼스에있습니다....
-
옯붕이 설날.. 8
삼촌:그래 앉아봐, 3수한다면서 어디대학교 갈거니? ?: 삼수 올해가 마지막까지고...
-
음력설이지만 코토시모 요로시쿠 오네가이시마스
-
의대 오수 8
의대 목표로 반수하려고 하는데.. 내년에 가면 24살인데 의대가도 ㄱㅊ나요..?...
-
대학커뮤니티 노크에서 선발한 이화여대 선배가 오르비에 있는 예비 이화여대학생,...
-
그 이유가 뭘지맞혀봐
-
이번년도는 무조건 원하는 대학 가기. 삼수는 없다.
-
캬루는 캬루다 7
그렇다
-
2023년에 전역한 카투사 출신이고 작년 6모 오답률1위문제 짬빠로 이 순서는...
-
군대 들어와서 지금은 강기원 라이브 못 듣는 상황인데 이 두분들 중에서 추천...
-
치킨시킬 때 다들 뭐로 시키시는지 갑자기 궁금해졌습니다 개인적으로 뼈 치킨은 치킨이...
-
킹냥이짤 14
ㅇ나도 킹냥이 키우고 싶다
-
ㄹㅇ….
-
하.
-
이번에 2~3바퀴정도는 돌겠죠? 129점 초 이상이면 합격권일까요 불안하네요...
-
마타아시타 6
좋은밤!
-
제 지금 상황에서 만점권 성적까지 올리려면 뭐가 제일 베스트일까요? 23수능 백분위...
-
수학표점으로 대학갈수있었던 때 국어 3등급으로도 서울대를 갈수있었던때(국어 표점...
-
약대가려면… 13
한국사 7문제 이상 국어 10문제 이상 영어 5문제 이상 수학 1문제 화학 1문제...
-
최초합 적어도 추합 가능할까요? 친척들한테 붙는다고 말해도 될런지 모르겠습니다 발뻗잠해도 될까요?
-
난 아빠딸한테 10만원 줬는데 다들 줬음?
-
나혼렙의 성진우(최종장)랑 주술회전의 더위사냥이랑 싸우면 13
누가 이길까요
-
여러분때문에 눈은 안건들기로했어용
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?