공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
충남약 점공상황(최초합컷) 알려주시면 감사하겠습니다.. 충남대 약대 정시
-
-
그림그려보게 4
이미지추천좀
-
혹시 저번주 김성호 시대 대치 테스트지 미작이링 정규반 딥지랑 있으싱분 ㅜ...
-
화1 과외구합니다ㅠㅠ 12
우리 과목 정상운영합니다ㅠㅠ
-
외 안 뜨는지 6
이해가 안 되..
-
배불 4
우설 좋아하는 사람
-
이가 시리네 2
나도 이제 늙었나보오..
-
다음 주에 할 것인가
-
나중에 화나면 12
덕코로 레어다사고 싹다 경매 시킬거임
-
명동 고고
-
ㅎㅎㅎㅎ
-
막 몇십~몇백의 가치가 있는지 모르겠음 그냥 소주 업소용 궤짝 여러 개 집에...
-
당연하듯이 푼 방식이 사실 그 n축으로 불리는 거였는데 이게 정석풀이가 아니면 대체...
-
-
공통 김현우 드랍하고 인강으로 김범준 허들링 듣는 거 어떰?
-
아직 난 연대생인것이야......
-
추븝다..
-
DK - HLE 3세트 이전까지 브라움은 6전 전승이었다 (안딜 2승, 베릴 2승,...
-
캬캬
-
안 먹으면 180에 80 미들급 유저가 때리러감
-
사고싶은걸 사면 남들도 사고싶어서 뺏기더라
-
작년엔 안이랬는데 친척들 다 정치얘기하시노
-
복권 당첨확률 10배 이벤트 하고 싶다
-
3덮 7
언제쯤부터 신청할수잇어요? 신청하면 현장으로가서 응시하고오는건가요?
-
노래 off→ 92 +-4 노래 on→ 100 (78min) ※평소 풀던 거랑...
-
중간에 왼손잡이로 바꿈 그래서 그런가 왼손 불편한 건 다 가져가면서 우뇌가 잘하는...
-
이거 성적표 낼 때 문서확인번호만 보이면 12월 6일에 학교에서 받은 성적표로 내도 되는 거죠
-
맞팔 ㄱㄱ 4
-
난 재능인거같음 중학생보다 그림을 못그리니..
-
그림 ㅇㅈ 6
고딩 때 공부하기 싫으면 그림 그림
-
거만한 설댕이입니다 23
네
-
다들 원하는 바를 이루시길 바랍니다
-
내가 그린 여캐 4
-
드자가!!!!
-
모든 메타 내가 돌리는 중임
-
강기원 정규, 특강반 + 이신혁 + 현정훈 이렇게 4개 듣는 중인데 지구 아폴로도...
-
술 먹고 싶은 밤이구나 13
조용하게 애니 틀어놓고 신라면 생으로 뜯어서 소주 홀짝 마려운 밤이다
-
어그로임
-
-
ㅈㄱㄴ
-
차단하지만 말아주세요 제 스타일대로 최대한 그려봄ㅠㅜㅜㅜ
-
ㅈㄱㄴ
-
씹게이가 두배네
-
둘이해라 그냥 6
ㅇㅇ
-
수능 끝나니까 인스타 스토리 일본여행으로 도배되는거 보기 힘듦 나도 가고싶다…...
-
사탐하는 친구들 6
사탐 중 개념냥 뭐가 젤 적냐
-
님들은 지금 어디야? 16
본인집인 사람은 할머니집이나 다른 집이면
-
근데 얘 0
왜 요즘 곡 안냄?
-
ㅈㄱㄴ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?