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