공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
점점 오르비 지박령이 되어감 큰일났네
-
옯 전신인증은 왜않함 15
펑
-
남자의 삶 0
증명
-
저ㄱㅏㅌ은 찐따도 껴주나요
-
늙은이에 I인데 알바 빠지기 뭐해서 그냥 개강하면 개총만 가도 친구들 만드는 거에는 무리 없나요?
-
롤 껴달라고 ㅜㅜㅜ 치ㅏㄴ구 없다거 ㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜ
-
영어 한국어 한자 상관없음 아무나 저랑 프사만 상대 학교로 해보실분??
-
나도.. 다이어트 하면 16
괜찮을까..?
-
짜피 물리 선택자들 많은 학과긴함 동족이라 봐주나
-
심심해심심해심심해심심해심심해심심해심심해심심해심심해심심해심심해심심해심심해심심해심심해심심...
-
정상체중이기만 하면 눈화장 앞머리 내림으로 존예 커버가능하더라
-
중1때 사진 올려봄 11
잼민
-
충격
-
현재 국정원 독서편 보고 너무 잘 배우고 있는 학생입니다 원래 시대인재 강선생님...
-
ㅇㅈ 1분펑 3
흐흐
-
쪽지보내야된다고
-
아까 낮에 저 봤다는 댓글 달림
-
저 몇 살일까요 11
-
힘내요, 헉, 권오중닮음, 일찍좀자요(태어날때부터있던다크서클6년넘게일찍잤었는데안없어짐)
-
물지러들 화이팅
-
ㅃㅇ
-
맞팔하실분! 15
맞팔하실분 구합니다!
-
홍익대학교 새내기 where~~~??? <홍익대학교 새내기를 위한 홍대 건물 정보 가이드 [홍대25] 0
대학커뮤니티 노크에서 선발한 홍익대 선배가 오르비에 있는 예비 홍익대생, 홍익대...
-
하하.. 4
이제 인증 안해!!
-
왜지
-
악역은.. 익듁하니까..
-
ㄹㅇ 올리고 나서 혹시 오르비 너냐고 연락올까봐 개쫄림
-
특정확률 523배이벤트 열리는데 못생긴걸 떠나서 쫄려서 못하므
-
메디컬가고싶어요 3
하ㅠㅠ
-
풀어도 될까요? 4점기출안에 3점도 있습니다 ㅋㅋ 생각의 질서는 배송 오는 중이고...
-
쫄려서 못하겠음
-
남자들이 조아하는 노래 차이점좀 알려주삼뇨
-
둘다해봤는데 걍..똑같던데 뭐가 다르단거지
-
툭툭내뱉는데 은근섬세하단건 칭찬인가
-
고해 이미 슬픈 사랑 겁쟁이 내여자라니까 응급실 이거 순서대로 부르면 된다 커플되세요 ^__^
-
다들 잘생기고 이쁘네.... 부럽다부러워
-
그럼 온라인상에서의 내 치부가 전부 드러나버려
-
ㅇㅈ 50
진심.. 존못인데 올려본다.
-
그치만 중요한거 몇개만 봤으면 된거 아닐까?
-
모쌩겨서 자러감 16
.
-
그래서 연애하는 꿈도 맨날 초반부에 끊기고 깨버림
-
너 24만원짜리라고
-
눈 ㅇㅈ 7
-
경우의 수랑 확률 부분은 이해도 잘 되고 문제도 잘 풀리는데 통계 << 얘 강의...
-
ㅇㅈ마렵다... 3
-
ㅇㅇㅈ 18
이왜진 펑 재탕ㅇㅇ
-
나도 눈 ㅇㅈ 5
-
ㄹㅇ
-
으흐흐
-
25키로가되어서 초등학교 재입학하겠음
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?