공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
4살때 나온 작품이..
-
은테 장점 0
옯창인 척 코스프레 가능함
-
광고내용이 너무 킹받음 지가 60키론데 너무 빠져서 병원까지갓다 그러니까 많이...
-
돌고래랑 고래 5
돌고래가 더 쎈거 아닌가요고래는 그냥 고랜데돌고래는 돌도 잇잖아요
-
댓글 달면 질문해드려요 46
-
아 원딜 1
아;
-
어제 한군데 다녀왔고 오늘 한군데 또 가야함 그리고 나중에 한두군데 더 가야함
-
얼마나 커요
-
선착순5명 9
사랑해
-
내용을 입력하세요.
-
나도 글썼어 7
고맙다고해
-
하아..
-
더 모다겟는데..
-
26수능 27수능 응시할거면 군대 미루는 게 낫겠죠? 고민되네요 ㅜㅜ
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
멀티 장인 1
듀랭+오르비
-
나의 본처가 되도록
-
오르비 꿀팁 4
뭔가 재미난데 곧 지워질 글 같으면 댓글을 달고 진짜 지워졌을 때 사물함을 통해 들어가보세요
-
부탁드립니다 3
.
-
운세 재미있네 1
시간뚝딱 포스텔러 ㄱㄱ 무료운세 신기한거많아요
-
너무달다 1
너무 달아서 몸이 녹아내린다 시발 여친 사귀고싶다
-
그래도 안지영이면 극복가능.
-
ㅂㅂ 4
내일은 동대가 했음 좋겠네요 이젠~그랫으면 좋겠네~
-
이런국가를왜좋아하는거지 가까이서보지않기에좋아하는건가
-
열반님 -> 다람쥐님 -> 나머지
-
루시드 << 야무진것같은데
-
근데 킬뎃만 보면 18
난 괜찮게 한 거 같아 역시 나야
-
근데 그래프가 편하긴한듯 그래프가 좀더 직관적임
-
수1수2도 있었네요 왜 이제 알았지
-
생각해보니까 0
할아버지랑 아버지 큰아버지 사촌형들 그리고 친형이랑 나는 같은 Y염색체를 가지고 있네 신기
-
예비 한바퀴 돌아도 추합안될 번호대지만 궁금해요 한교 한문 성대 성균
-
다 먼가 매칭이 되네 ㅋㅋ
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
님도 빨리 내 닉 알아내라.다람쥐님 닉 ㄹㅇ 그 다람쥐가 지엇을만한 닉이네
-
푸앙대 전과 0
문과에서 문과로 전과하려고 해도 전과하려는 과 전공기초 들어놔야 하나요?? 그리고...
-
가끔 여자랑 연락할 때 힘들다고 하는 남자들이 있는데 4
여자랑 연락이 잘 안되는 건 니가 연락에 능숙허지 않아서가 아니라 여자가 너랑...
-
수정된 마지막 문단 제시문 일부
-
요네 1
ㄱ ㅡ다 음은 야스오
-
하
-
지역차별 1
안생길수가 있나 이거 어떠한 지역을 차별하는게 아니라 그냥 차별된 지역인듯 ㄹㅇ
-
흐흐흐흐 2
-
진짜 이 캐릭터 띄우고 비대면 과외해주나
-
점공 계산기 어느게 젤 정확할까요?? 셈퍼 99퍼로 설정하고 미니멈 보라고 하던데...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?