공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
짭능부엉이 뭐노 ㅋㅋㅋㅋㅋ
-
에효 0
삶은 여전히 가짜같구나
-
이겼다 6
우리 집안 사촌들 경성 동아 경상국립 등등 본인 “경희”
-
ㅈㄴㅂㅇㅇ 2
이쯤이면 컨셉인지 찐인지 구분이 안가여...
-
부엉이는 하나로 충분하다
-
법대와사시를부활시켜라
-
이화여대 ㅇㅈ 10
내가 이화의 가고 싶어하는 이유 : 어릴때부터 제일 친하고 존경하고 좋아한...
-
이명학 신택스 2회독 정도 한 거 같긴한데 안 한지 오래돼서 다 까먹긴 했어요....
-
ㅇㅈ언제함 2
대기중임.
-
-> 라이거 반대는 타이곤임
-
농어촌 가능해요 그냥 궁금해서 물어봄
-
정품은 이제 더 이상 떨어질 이미지가 없음
-
저는 좌빨극우임 2
?
-
심심해유 0
ㅇㅈ해주세요
-
-
말로만 인증한거 아니고 찐으로
-
스카이캐슬볼까 0
입시끝났으니까 ㅈㄴ재밌게볼수있을거가튼데 흐흐
-
의문
-
그림그려드립니다 14
그림 그려드립니다 크하하
-
저는 극우좌빨임 4
??
-
정시 연대 디스플레이융합공학과랑 약대 붙었는데 어디갈지 추천좀 해주세요 연대는 계약학과예요
-
투자해볼까 생각중인데 11
경험용으로 100?정도로 근데 그냥 주식하는게 낫겠지? 코인은 너무 도박성의 느낌이 강한듯
-
다이어트 정체기 5
비상비상 몸과 마음은 지쳐가는데 몸무게는 쉴 틈을 안 준다 딱 오키로만 더 빼자
-
사람들 많네 0
영화 탈주 안 봄?
-
아빠는 서울대 엄마는 이댄데 나는 건동홍 턱걸이라 우럿서..
-
오류 정지됨
-
학교-3년제 전문대학,기숙사 생활 원칙 위치-인천광역시 남동구 슬로건-인천으로의...
-
통대지 바베큐 1
해줘 기대중
-
채찍보다 좋음?
-
근데 요즘 아파트는 헬스장 목욕탕 탁구장 스크린골프장 이런거 다있음? 9
어디는 식당도 있던데 신식이면 다 있나 요즘
-
-
여캐투척 0
-
이새끼왜20만덕이넘어감
-
질문받겠습니다 20
안받습니다
-
저 여르비니까 얼른 몰려와주시고 앞으로도 많은 관심 부탁드립니다 라고 계속 어필하는...
-
시비 ㄴㄴ 7
시비걸면 확
-
만화책 추천좀 1
설기간동안 과외,알바 안뛰니 개박수상태네 쩝...
-
-
개인적으로 애쉬 그레이 엄청 예쁜 것 같아요… 뭔가 너무 튀지 않으면서 개성도...
-
재수합니다 vs ○○대 갑니다
-
한 번 보고싶긴 한데
-
열심히해서 마무리 잘하면 ㅈㄴ 멋있겠지?
-
글만 씀
-
이런건 누가정한거임? 14
제사지낼때는 잘때 거실에 불켜놓고 자야하는거래
-
새르비 하던가 10
놀아줄게
-
과탐 선택 가이드 17
1. 2과목과 화학은 하지않는다. 2. 지구과학을 반드시 선택한다. 3. 물리를...
-
여자친구 생김 7
사실 아님
-
새르비때
-
혼란스럽네 6
왜 한분은 연뱃달고 고대프사고 한분은 고뱃달고 연대프사에요?? 둘이 사귀나요 저랑도 할분???
-
하루종일 글을 쓰고 잇진 않잖아
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?