공리를 부정해도 무모순임
게시글 주소: https://h.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
개 뻘글 0
혼자할 때 기준으로 작은게 더 효율적이지 않을까 손목에 무리가 가네
-
굿모닝 3
졸린아침입니다
-
얼버기 5
안녕하세요
-
얼리버드기상 1
(아님)
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
얼리동욱 기상 0
-
슬슬자볼까.. 2
바이바이
-
계획 어플 추천 1
수능 때까지 장기적인 계획을 세우는데 거시적으로 보이는 계획앱
-
제자야 일어나라 6
넵.
-
문과에서 살아남기 3 (진로편2 - 금공, 컨설팅 등등) 2
안녕하세요 한달뒤는입니다. 오늘은 한국은행, 컨설팅, 사모펀드 같은 지망하는...
-
,
-
자라 5
오르비 켜고 자라
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
수학으로 비유하면 미분가능하다가 뭔 말이냐고 물어봤을 때 매끄러운거요 라고 답하는...
-
대학커뮤니티 노크에서 선발한 홍익대 선배가 오르비에 있는 예비 홍익대생, 홍익대...
-
레어 깔쌈 5
평화로움 ㅋㅋ
-
기차지나간당 5
부지런행
-
헌병갈까 조사병단 갈까 10
ㅈㄴ 고민되네
-
혼자 일본가는중 0
친구없는 아싸는 혼자 여행갑니다...
-
여미새는 7
어떤 샌가요
-
수능과외가 안되면 중학생이나 고1,2 라도
-
잘자요 12
잘자요
-
13번인데 추합 발뻗잠해도 되는건가요? 작년에는 42번까지 돈거 같은데
-
ㅎ
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
책 휘어있음 7
문제집 시킨거 방금 왔는데 물결모양으로 휘어있음. 이거 왜 그런거임???
-
모두 굿밤 6
내일 할.거 많은데 이거 실화냐~~
-
이래서 두 팀 팬덤들이 싫어 차라리 축신두 ㄷ 메좆으로 싸우면 몰라 안봐도 우리형 승리겠지만
-
갱가서 도와줘도 리턴없고 개박는 애들이많아서 못해먹겠음 롤보단 메이플이 짱임
-
모평을봐도 231122 240628 241122 241128 같은 킬러없는거같음...
-
퐁 당 퐁 당 1
돌 을 던 지 자
-
수학이 왤케 어렵지
-
수험생 입장에서 직접 푼거라 어느정도 자기편향성이 작용하겠지만 개인적으론 적절한...
-
더블업해야지 0
낄낄
-
이강인 선발
-
중앙대 학벌 5
대기업 들어갈 때 마이너스 있는 학벌일까요?? 학점 괜찮다는 가정하에
-
자라. 4
넵
-
뭐요
-
너무 어렵잖아
-
탱제이스 너무 사기다 10
진짜 개사기같음
-
님들 수학 8
딴거보다 특히 어려운 분야 잇으신가요
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
4살때 나온 작품이..
-
은테 장점 0
옯창인 척 코스프레 가능함
-
광고내용이 너무 킹받음 지가 60키론데 너무 빠져서 병원까지갓다 그러니까 많이...
-
돌고래랑 고래 5
돌고래가 더 쎈거 아닌가요고래는 그냥 고랜데돌고래는 돌도 잇잖아요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?