공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
단국대 합격생을 위한 노크선배 꿀팁 [단국대25][새내기를 위한 꿀팁] 0
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생,...
-
루머 안 본 사람 없게 해주셈뇨
-
1번틀 98점 되고싶었음 물론실력은안됨
-
요즘은 취사병이 개꿀이라카던데 정말인가요? 물론 부바부겠지만 먼저 입대한 애들 말...
-
형 멋있다 잘생겼어 이소리 많이 들었는데 또래 남자애들이나 20대 친구들은 본인...
-
초성게임 시작 3
ㅅㅅ
-
전 책 많이봄 6
부모님께서 마인크래프트는 안사주셔도 책은 개많이 사주심
-
어떤 과탐과목인지에 따라, 대학마다 가산점이 있나요??? 0
ㄹㅇ 잘 몰라서 그런데 과탐 잘만 선택하면, 뭔 선택했는지 선택자체가 서울대...
-
논술 공부하는 학생들 위해 직접 적은 칼럼 알려드릴게요. 1) 답안 작성이 아닌,...
-
사람이 먼저다.
-
현재 예비 고3 현역이고 자퇴 후 사탐런 해서 10월 말부터 사문 시작했는데 현재...
-
방금 시켯는데 이거 밥이랑 잘 어울리나 맛있음?첨이라
-
일본 만화하니까 2
썬더일레븐이랑 괴담레스토랑 생각나네 추억이다
-
오저메 24
고기 구워먹을거에요 후후후
-
8-9키로 빼니까 더 빼기가 귀찮네 5키로만 더 빼면 완벽한데 의지박약ㅋㅋ
-
선물 드릴게요
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?