공리를 부정해도 무모순임
게시글 주소: https://wwww.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
하루에 글 300개를 어케 씀
-
던지기 고트ㅋㅋ
-
저 ㅇㅈ안합니다 10
저 ㅇㅈ하면 님들이 막 캡쳐한다음에 갤러리에 저장하실거잖아요
-
내일부턴 다시 계획표대로
-
ㅇㅈ 17
쪽팔려 30초 보여주고 지울래
-
난.심심한일 때 지금보다 마니 활동햇음
-
ㄱㄱ
-
보닌 닮은꼴 0
슬램덩크 채치수?
-
닮은꼴? 6
있는것만 으로 ㄱㅁ이다
-
ㅇㅈ 1
겠냐
-
지금 사람들 주민번호 앞자리가 3,4니까 등차수열 어쩌구에 의하여 2200년생이 태어나야할듯...
-
인증10번이상 한 사람은 사랑니 ㅇㅈ 의무화하자
-
망했다 1
또 3차 갈야지 ㅋㅋ
-
남르비는 남자고 여르비는
-
드라마보러가기전질받 11
시즌2를거의다봤어요
-
AI가 생성하는 콘텐츠가 사회주의 핵심 가치관에 부합하는지 ㄷㄷㄷㄷㄷ
-
ㅋ
-
걍 다 기만임 12
너네가 163 75,평발,모솔,평균 5등급의인생을 살아본적 있냐
-
관심줘서감사합니다 아이 신나
-
의대를 상위권 중위권 하위권으로 나눈다면 상위권 의대의 기준이 어떻게 된다고...
-
뻥임
-
아직 81키로여서 하고싶어도 할 수가 없음ㅇㅇ
-
팔로우하고쪽지보내게 빨리
-
-
아직 20대라 앞자리 2임
-
나는 나의 내면세계로 간다
-
너무 배고픔 1
밥사주면 개가 되겟음
-
지금은 좀....
-
그러면 너무 허무하고 느리게지나면 힘듦 차라리 빠른게낫다
-
이게 인증의힘인가
-
로드호그 빅맘 곽튜브(얼굴이 닮음) 비기(래퍼) 유희관 보따 김원식
-
수능으로 약대 오는 게 전반적으로 쉬운 거죠?
-
인지도조사 3
과연
-
오랜만에 열중할게 생기니까 꽤 뿌듯함 내일도 이미지 받아서 그림 그려드림ㅇㅇ
-
ㅇㅈ 18
예상댓글: 넌 의대가라~
-
지구가 파산했다 법 없이 사는 놈들 다시보면 개연성 떨어지고 후반 급전개도 있지만...
-
다들 내려갓나 0
나 심심하다
-
-
중경건시동외홍 0
우웅 나 아기 동대생 며칠 뒤 건대생
-
고딩때 사진 10
강아지는 울집 강아지래요 코로나때 찍은거라 근데 하관 박살나서 마스크 낀게 나은듯
-
하하
-
ㅇㅇ.... 문제는 건대가 추합이 애매한상황이라는거임뇨,,
-
영어 현강 2
작수 영어 3인데 영어 혼자서 공부하기가 너무싫어서 그냥 시대라이브 하나 듣는거...
-
실검이 왜 빵? 5
?
-
ㅈㄱㄴ..
-
요 근래 겪은 원딜들이 아프리카 뱅 젠지 룰러 kt 에이밍 젠지 페이즈 이정도 라인업이라....
-
생화학 테러로 신고당하고 폐쇄될 수 있음
-
남자친구가 아버님 운전 도와드린다고 오늘 생일인데 생일 축하해란 말도 없이 그냥...
-
생명 쌤 ㅊㅊ 1
지금 윤도영썀 듣고잇는데 넘 쉬움 엔제사서 그냥 따라갈까 쌤바꿀가 김연호썀..? ㅇㅇ
-
얼굴 가리고 자요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?