공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
바꿀 생각 없음 ㅇㅁㅇ
-
맛동산 포스틱 프링글스 꿀꽈배기 오땅 빈츠 웨하스 새우깡 매새 트새 감자깡 도도한나쵸
-
레테크 하지마세요레테크 하지마세요레테크 하지마세요레테크 하지마세요레테크...
-
댓글 달아줘 12
ㅇ
-
심화강의나 교재 유명한거 뭐있을까요 수학에서는 한완수 뉴런 이런것처럼 지구과학에서는?
-
옯이가 진짜 유익하긴 한듯 ㅇㅇ
-
ㅇㅇ;
-
철인왕후고 사불이고 다리미고 맨날 어벙벙한 캐릭터로 나오네
-
학교 다니다가 전공이 적성에 안맞아 수능 재도전해보려 하는데 23 수능 97 90...
-
이번에 학사+대치 재종 생각하려다가 기숙 오픈한다 해서 고민중인 지방...
-
이명학 알고리즘 안 듣고 리로직 바로 들어가도 될까요? 1
최근에 대성 셀렉션인가 작년거 풀고 93점 나왔습니다 근데 빈칸만 2개가 나가서ㅠ...
-
복귀 0
Grandma 댁 가는중
-
인설약이 미쳤다고 하는데 그 이유가 대충 이래요 기존에는 지방의 같이쓰면 다 갔는데...
-
생2 좋은 과목 아님? 14
ㅇㅇ;
-
케바케겠지만 결국 공부할 '의지'는 자신에게 달려있는듯 약이 좋지만 만병통치제가...
-
댓글 달면 님 이미지에 맞는 이모티콘 달아줌ㅇㅇ 116
ㄱㄱ
-
다음 닉 후보 13
블레임 이상한 Valuable
-
그냥 밤샐까요 1
어차피 내일 친척집 가야하는데 그때 하루종일 자고
-
문항 번호문항 배점DeepSeek 답변정답 (짝수형)오답 여부DeepSeek 풀이...
-
새터나 오티 술자리 이런거 한번도 안가보고 이제야 1학년 되는데 가도 되겠죠?...
-
10개 살거라서 추천 좀 해주쇼
-
학원교재 어려운거 쓰긴 하는데 혹시 실전개념이 너무 어려울까봐 걱정댑니다
-
-
파릇파릇한 새내기들과 낭만적인 대학라이프라니...
-
밥부터 먹을까.
-
저도 요즘 4
수험생때에 준하는 분량의 문제들을 푸는 중
-
ㅈㄴ깊음
-
얼굴이 가로로 넓다
-
아니 22
진짜 찐찐 네임드들에 비하면 미약한게 맞잖아 그 사람들만한 네임드가 되고 싶다거
-
-
치킨 맛있당 17
히히
-
하..“여자”니까 사다준다 크하하하 이러니까 여자들이 뻑이가지
-
시간 지날수록 서울대 바로 밑으로 수렴할거라고 봄 ㅋㅋ 연약 22,23때도...
-
그아아아악
-
한가지만 우직하게 끝내는 사람이 되는게 힘들어.......
-
한 6개월 뒤면 14
나도 거대한 오르비 네임드가 될 수 잇을 거야
-
건국대는 사회환경공학부(토목) 동국대는 전기전자공학부입니다 둘다 정시로 넣었고...
-
예전에 만든것 1
-
금테가 빠를까 5
탈릅이 빠를까
-
현재 군수중이고 현역,재수 마치고 바로 입대하고 1년 쉰다음 다시 시작하는중....
-
특정인물이 인증하면 5초만에 블라먹는건 개꿀잼이었ㅇ.ㅁ
-
-
막내임 11
08 옯창은 없음 07 옯창은 으으ㅡㅡㅁ.. 더 잇나?
-
현역때 93 100 2 95 99 였는데 가군쓸때 인설약 4칸이어서 고대로 쫄튀함
-
다들 가는구나 5
마이 해따 아이가
-
요즘애들수준 15
왤케 떨어짐?불행하게 피를 공유하고 태어난 암컷고릴라(중1)랑 1달?만에 대화하는데...
-
ㄱㅁ 9
4문제 중 4틀 ㄹㅈㄷㄱㅁ
-
현역 고3 독서 6
지금 시기에 2025 검더텅 독서 기출 풀고 있는데 절반? 정도는 푼거같아요 이거...
-
내일헬스장쉬네 0
으악
-
그래서 떨어지는중임 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?