공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나는 서울살지만 4
서울 새끼는 아냐 밥도 굶어 봤지만 어두운 길로는 안다녀~
-
루비기여워 8
아이 out. 루비 in.
-
정신병이야 이거..
-
ㅈㄴ 아깝게 치킨 목이 개맛도리인데
-
6시 기상 목표 1
-
노래추천하나할게
-
셀럽미 ㅇㅈ 7
Ai고맙노
-
우리는 모두 친구/노롱노롱노로로/최소 노짱스타잏/질풍운지
-
잇올끝나고집오면 그런생각이 잘 안나더라
-
내 자아를 잃어버린 듯한 공허한 기분이였어 나라는 사람을 뭐라고 정의해야 할지 모르겠었어
-
생윤 사탐런 2
작년에 사문 사탐런햇을땐 꽤 재밌고 공부 별로 안해도 수능때 1이 나왔어서 사탐이랑...
-
난 해장 냉면으로하는데 막걸리 취할정도로 마시면 배불러서 냉면이 안들어감
-
인제대 백병원이 2
이 백병원이었구나 방금알았음
-
논술도 양극화임 1
수능도 정시 의대랑 정시 일반과랑 난이도 차이 점점 심해지듯 의대논술이랑...
-
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다
-
ㅇㅈ메타임? 4
ㄲㅂ 나왜지금왔노
-
현역이고 3모 89점이에요 21,34,38,39 틀 안정적인 1등급 맞출려면 어떤...
-
미친듯이 배고픔 8
저녁 안 먹음
-
스고이~
-
문제들 세수대야 봐라 비주얼로 기선제압 정말잘하네
-
잘자요 11
내일이면 모두 제 인증을 잊어버리겠죠...
-
잘래요 2
내가 오르비에 셀럽미를 던지고 갔군 흠흠 근데 왜 정작 그 게시물엔 댓글이 하나도 없는데 크악
-
마감 제발 0
요즘 멘탈 나가서 일 못했더니 너무 밀림 ㅅㅂ
-
시발
-
나 같은 촌놈한텐 대치동 환상 있음 ㅋㅋㅋㅋ
-
작년 9모처럼 미적 개쉽게 나왔을때 말고는 미적 4점 맨날 다 나가는데요.. 공통은...
-
외모 4등급 10
-
역학만 종일 파서 고인물되고싶은데 역학부분만 다루는 n제가 있나 해서요
-
지브리 귀여오웅 10
] 크킄
-
거의 모든 오르비 고닉들의 얼굴을 나의 인증과 ''등가교환'' 했다고 생각할련다
-
무게, 무겁다 등의 단어로 '무겁게 하다' 정도의 뜻인 '*믁다'를 재구할 수...
-
인증메타인가보네요
-
어싸를 풀다 트러스를 풀다
-
강해린 귀여워 2
징짜루..
-
-
오르비 안녕 6
-
시발아 3
뭐 31세???
-
한끼에 패밀리 사이즈 피자 한판 쳐먹는거 아니면 왠만하면 빠짐
-
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?