공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어느게 그나마 쉬울까 평백 60기준으로 참고로 아파트챌린지 조회수10억찍고 히트친...
-
힝 정시도 뽑아조 내가 어떻게든 성적 만들어낼게 갖고싶어
-
수험생키우기 0
나 해야지
-
간단한것도 어렵게 그럴듯하게 설명을 함 뭐 싫다는건 아니고 하하
-
행복하다 3
동아리 홍보글 슬슬 올라오는데 재밌어보이는게 넘 많아서 행복한 고민중
-
맞팔구 5
.
-
분명 99년생이라고 써져있고 심지어 2013년도 가입이다 캡쳐는 못했지만...
-
첫날부터끝까지다니긴함
-
세젤쉬,미친기분시작편 하고 바로 들어가면 빡세려나요
-
이대 주변 pc방 모음,,(새내기 벗들 올클 기원?) 1
대학커뮤니티 노크에서 선발한 이화여대 선배가 오르비에 있는 예비 이화여대학생,...
-
오류진짜 좆되네 하...
-
작수 4 받은 재수생입니다 현역때 시발점 뉴분감 n제 찍먹 실모 찍먹 등 대충대충...
-
1학기 학점이랑 인간관계 조졌다 싶으면 강대스투랑 목시중에 고민좀 해봐야겠다
-
LCK) Best KDA after second week in 2
대황딮 무려 3명이 있음 거기에 대황스매쉬 역시 이름부터 신이 들어간 신금재 ㄷㄷ
-
시대인재 복영 0
저 라이브반인데 지나간 회차는 따로 살 수 있나요?
-
ㄹㅇ 언제나 살아있다고
-
집에서 한 3분거리에 관리형 스카가 있는데, 재종은 가까워도 가는데 1시간 걸리는데...
-
정법 컨텐츠 가뭄이라 그냥 파이널땐 최적 현강 들어볼까 싶은데 박상영 커리 설명란엔...
-
요즘 뭐하고살지 2
대학 입학 확정되신 분들은 지금 뭐하고지내세요?? 저는 삼반수할거같긴한데.....
-
다소의역) 5
-
아이 좋아라
-
자꾸 오류뜨는데 성적 인증 부분에서 자꾸 막힘요
-
우주과학 티어리스트 일단 경경은 대충 했으니까 내년엔 서연 가보자가보자
-
중대 그러하다
-
살이 안찌는데 학원다니면서 밥 꼬박꼬박 먹으니까 살이찌네 엉엉
-
이런
-
공대기준 대학 0
친구가 고민하는 중인데 투표 한번 부탁드립니다
-
민트초코가 짱임
-
안창호전무는청춘이야수원제주 물이쫙쫙빠져요 스힙 경상도와남해안 울여서 포광당 포경울부...
-
분자 모양이 꼴려요
-
대치 특별전형 합격 가능한가요? 장학 말고 그냥 합격만 되면 되는데
-
는 취향차이
-
미적 28 30 맞고 29번 틀린 사람을 뭐라고 부름 11
왜틀렸는지 아직도 모름
-
어라?
-
논술 개씹노베인데 의논이나 약논 하려면 재능충이어야 함ㅍ? 재능 있는지는 어케 아냐
-
크와아아앙 16
프로틴먹고 독서실 가기 공부하기 싫다
-
신입생들을 위한 아르바이트 추천 [과기대25] [서울과학시술대학교신입생꿀팁] 0
대학커뮤니티 노크에서 선발한 서울과학기술대학교 선배가 오르비에 있는 예비 과기대생,...
-
많이 없을듯 다들 사랑해
-
만남은 쉽고 6
이별은 어려워~~ ㄹㅇ 맞말인듯
-
기상쌤 수업 이번이 처음인데 듣기전까진 수업내용으로 웃기실 줄 알았는데 에스파냐어...
-
수학 노베 0
고1 부터 수학 아예 안했으면 공통수학 1, 2 부터 하는 게 맞는거야? ㅈㅂ 나 4등급은 맞고싶어
-
소신발언 :저 짤 한정 ㄹㅇ닮아보이긴 함..
-
올해 중3으로 올라가는 학생입니다. 지금이야 예비중3이지만 몇 개월만 지나도...
-
레어 질문좀 3
이거 용도가 뭐임?
-
나도 부남 하고 싶었는데
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?