공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
로드호그 빅맘 곽튜브(얼굴이 닮음) 비기(래퍼) 유희관 보따 김원식
-
수능으로 약대 오는 게 전반적으로 쉬운 거죠?
-
인지도조사 3
과연
-
오랜만에 열중할게 생기니까 꽤 뿌듯함 내일도 이미지 받아서 그림 그려드림ㅇㅇ
-
ㅇㅈ 18
예상댓글: 넌 의대가라~
-
지구가 파산했다 법 없이 사는 놈들 다시보면 개연성 떨어지고 후반 급전개도 있지만...
-
다들 내려갓나 0
나 심심하다
-
-
중경건시동외홍 0
우웅 나 아기 동대생 며칠 뒤 건대생
-
고딩때 사진 10
강아지는 울집 강아지래요 코로나때 찍은거라 근데 하관 박살나서 마스크 낀게 나은듯
-
하하
-
ㅇㅇ.... 문제는 건대가 추합이 애매한상황이라는거임뇨,,
-
영어 현강 2
작수 영어 3인데 영어 혼자서 공부하기가 너무싫어서 그냥 시대라이브 하나 듣는거...
-
실검이 왜 빵? 5
?
-
ㅈㄱㄴ..
-
요 근래 겪은 원딜들이 아프리카 뱅 젠지 룰러 kt 에이밍 젠지 페이즈 이정도 라인업이라....
-
생화학 테러로 신고당하고 폐쇄될 수 있음
-
남자친구가 아버님 운전 도와드린다고 오늘 생일인데 생일 축하해란 말도 없이 그냥...
-
생명 쌤 ㅊㅊ 1
지금 윤도영썀 듣고잇는데 넘 쉬움 엔제사서 그냥 따라갈까 쌤바꿀가 김연호썀..? ㅇㅇ
-
얼굴 가리고 자요
-
술한잔햇어여 9
으으 취한다
-
전작인 데못죽에서도 느꼈는데 확실히 저점이 높은 작가같음 캐릭터 조형은 여전히...
-
닮은꼴 ㅇㅈ 4
ㅈㄱㄴ
-
ㅇㅇ
-
앞머리 ㅇㅈ 8
날아다니는 앞머리를 본 적이 있는가
-
짜고 맵고 단 자극적인 것들은 어릴 때 많이 먹어둬라.. 살고 싶으면 운동해라......
-
애니나 봐야지 3
길드의 접수원이지만 , 잔업이 싫어서 보스를 혼자 토벌하려고 합니다
-
아깝다고 생각함? 아니면 충분히 할 가치가 있다고 생각함? 3~4달에 한번씩 펌하면 괜찮으려나
-
존못이라
-
아무일도 없었다 1
-
후
-
시발
-
저도 ㅇㅈ 2
원준
-
으흐흐 5
-
데워먹을까 계란후라이랑
-
재미엄네.....
-
저의 페페가 신사다워졌네요
-
눈 인증(이번엔 찐) 21
.
-
ㅇ왜 맛은 그대로인데 묵은 발톱 때 향이 나는것이지
-
수리논술 0
수리논술 보통 몇달전부터 준비하나요? 지금 수능 8달 정도 공부했는데 지금부터...
-
멘헤라여도 3
사랑받을수있을까요
-
번이야
-
[속보] 이별했습니다 21
새해 이벤트 지리노 성격 다 버렸네 ㅋㅋ
-
땡기는 거 있으면 추천자 천덕 줌
-
ㅇㅈ 14
윤아 보고가라
-
님?
-
다 가셈 이제 4
오르비 내꺼함
-
생기부는 별로 좋지 않은 내신 1점 극초반대인데 만약에 수능으로 화작 미적 화1생1...
-
-
본 애니 최애의 아이 1화 봇치 더 락 전편 오빠는 끝 원작만화까지 약간 이런 일상...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?