공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
줌수업때 0
화면 안끄고 옷 갈아입었다. 이상.
-
남자애는 소위 말하는 찐.. 이었고 (애는착함) 여자애는 되게 착한애였는데...
-
늙으니까야동보기도귀찮음
-
온클함 오래끌고 유튜브 봤지 그때 공부했으면 ㄹㅇ 개떡상 ㄱㄴ이었는데.
-
알려달래ㅇㅇ 삼룡의 될거같다고 말해놓긴 했는데 그 위까지 되려나
-
아니별로안할만함; 이제글자가두개로보이기시작햇서
-
내일학원가서할것 1
평면벡터와 평면벡터 그리고평면벡터와 가능하면공간도형
-
개코미쳤네
-
잘자요
-
작수 국 7 수 9 영 8 생명5 지구 5 더프 국 38 수학 56 영 50 탐구...
-
전 점심 쯤 가서 깔짝 하다 올 듯
-
온클도 재밌었지만 가끔씩 가는 학교가 ㄹㅇ 꿀잼이었음 코로나 특수로 애들 자주...
-
암울한얘기밖에 안해서 이민가기로함 근데 일본이랑 비교해달라니까 일본은 한국보다 더...
-
4덮 성적 13
현역 언매 85점 미적 100점 지1 45점 물1 50점 어디까지 ㄱㄴ?? 물론...
-
개대나무 이오 지가올라갓소 아햏햏 하구료~
-
글목록도 진짜 어지럽고 본인 피셜 약대 다닌다는데 약대생이 저렇게 할 짓이 없을까
-
남자 넷이서 이상성욕 월드컵 달린적있음 졸업직전이라 눈이 뵈는게 없어서 ㅋㅋㅋㅋ 2021년 그립다
-
제발 게이얘기 아니어라하면서 클릭함
-
아묭 2
후기보니까 더가고십네 하 내 손이 느린게 잘못이지 으휴
-
이명 없어졌다 3
어젯밤에 뜬금없이 ㅈㄴ 심하게 생겨서 병원가볼까 했는데 하루만에 깔끔해짐 컨디션 난조였나
-
지금 하는게 유망할지도모르는데 공부해야하나
-
이상성욕에 대해서 17
어떡케 생각하세요?
-
충격적이군요.
-
아니 진짜 재수인데 고3담임이 2학기때 진단서 안갖고왔다고 무단 만들어버림 이걸...
-
설심리 점수는 됐는데 실기에서 떨어짐
-
◕‿◕ 2
◕‿◕
-
고전명작 https://m.dcinside.com/board/exam_new/7719332
-
위가 아픔
-
결혼해야지 10
언젠간
-
그새 옵찐따됐네
-
필기체 ㅇㅈ 2
ㅎㅎ
-
모교 체육복입고 4
술살려고 하니까 욕먹음 신분증보여줘서 살언 ㅋㅋ
-
D-5 ㅇㅈ 5
집가서더할거임
-
안그래도 도수약한거 먹다가 취하지도 않고 배만 불렀는데 잘됐어요
-
X스 4
?
-
맛없는 꼬다리 늘려가지고 모양만들고 홍보하네...
-
국어-언매 79 국어시간에 7분 지각했는데 급해서 진짜 존나 달려서 다풀긴 했는디...
-
큰일났다 1
잠이 안 와 ㅠㅠㅠㅠ
-
매일을 살아간다
-
아닌척 졸라함 친구한테 말하니까 ㅈㄹ하지말라는데 ㅋㅋㅋㅋ…
-
사람 없을 때 ㅇㅈ 17
전에 보신분들 모른척좀ㅎㅎ
-
문구 적어줬음 11
손 아파
-
시계를 떨궈서 깨뜨렸어
-
수능장에서 영어 듣기하는데 딱 답이 갈리는 중요한 상황에서 누가 기침을 크게...
-
듀.. 듀..
-
불촬물 아니냐 공유하면 ㅈ대는거아니녀
-
대치밥집 ㅊㅊ좀 8
구포국수빼구...
-
왜 구입창이 없지
-
3시간만 더하자 0
가자
-
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?