공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시발
-
수업 어땠나요? 난이도는 어느정도임요?
-
과외생이 존예/존잘이면 좋음?
-
과외글에 8
공통수학 미적분 기하 수1 수2만 가능하다고 그렇게 써놨는데 확통은 가능하신가요?...
-
-
나한테 피해는 안 주긴 하는데 아..
-
자 이제 덕코용돈 주세요
-
디시에 물어봐도 아무도모름ㅜ 이전회차 복영도 구매되는지 물어보고싶은데 시대...
-
다음 닉 7
20글자
-
이거 신고 못하나요
-
의대 휴학하니까 0
좋은 과외쌤 찾기는 쉬워진듯 도움 많이 받음
-
백분위 100 ㄷㄱㅈ
-
김과외 쓰나요? 24수 96 25수 100인데 시급 얼마가 적당할까요 조언부탁드립니다
-
쫄튀했는데 궁금
-
그런 놈이 여길 왜 다시 기어들어와? 저 가면 쓴 놈들이 456억을 안 줬다구요...
-
첫 알바를 시작할 경북대 25학번 신입생 여러분들께 전하는 알바 팁 안녕하세요,...
-
반동이다!! 전위대! 전위대!
-
오르비에 쭉쭉단 많은줄 알았네요
-
현생보다 0
오르비가 더 재밋음 인생 잘못 산듯함
-
신촌이구요 주말마다 응 예..
-
5대5라는 게 사실인가...
-
이상하게 옷은 사도사도 부족한 거 같습니다 자주 입는 기본템이면 같은 옷 두 벌...
-
덕코내놔요 8
네
-
뭐지
-
진심;
-
얼버기 5
ㅇ
-
세뱃돈 주세요 3
네
-
여기는 11
남녀성비 5대5정도 되나
-
3월부터 하야지
-
고지자기극 유형에서 한번 틀렸던 문제를 나중에 답 까먹고 다시 풀면 잘 푸는데 처음...
-
대학커뮤니티 노크에서 선발한 서강대 선배가 오르비에 있는 예비 서강대생, 서대...
-
하....ㅅㅂ 7
종이 빨대 만든 새끼 나와
-
-
평가원 추천 점 18
수2 과한거 말거
-
롤을접어야하나 4
이젠살인충동이드네
-
돈 벌고싶다 4
원화채굴 하고싶어
-
-
하아 항상 바쁠때만 들어와서 뻘글배설함
-
삼도류 써야지 4
양손에 2개에다가 나머지 하나
-
덕코 모으려면 4
뻘글 양산하면 되나요?
-
아이시아우~ 2
후따아리
-
실패를 하고싶어도 할 수 가없어 누가 날 좀 이겨줘
-
수요가 있을까요~¿ 좋아요는 70개넘게 받았었는데 다지워서 올리려면 다시...
-
올해 건수 폭인가요? 빵인가요? 건국 수의대 713.3 합격가능성 어느정도인가요?
-
-
아마 대부분은 못받을거긴 한데
-
오르비 게이 커뮤임? 11
삼각김밥을 왜 두 손으로 먹음
-
흐웨이 어플라이
-
로로체스 고수잇나요 18
저지능 체붕이 다이아 가고싶음.. 꿀팁 전수좀...
-
용돈보내주세요~ 0
ㄱㄱ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?