공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
학부모가 좋다고 더 따끔하게 혼내달라함 당황스럽다
-
내가 집 근처 국립대 갈 줄 알았음 중학교 석차 80/260
-
담임쌤이랑 2시간은 상담함;;
-
ㄱㄱ
-
1학기에 하루가 멀다 하고 1긱 옆 씨유에서 2시까지 퍼마심 4월 말쯤부터 모든...
-
옯만추는 어케하는거임 16
나 98년생인데 아저씨랑 비밀친구하자 으흐흐
-
전 왼손잡이 & 왼눈잡이
-
예비고1 때 아주 뼈저리게 느낌뇨
-
노래추천 14
해주세요 jpop이면 더좋고
-
확통 평가원 기출 15
기억에 남는 어려운 문제 잇을까요. 다른 확통 문제들에 비해 확실히 어렵다 싶은 문제.
-
올해 가는 걸로 만족해야할 듯
-
아 닉변 망했다 11
엄
-
뇨뇨체 안썼는데 뇨며들었다 뇨뇨뇨..
-
다 똑같이 생긴 캐릭터인데 유저는 다 다르던데 본인들끼리는 뭔 캐릭인지 구분이...
-
본인 좀 위기 느낀 점 11
방금 막갈리 마시러 왔는데 민증 검사 안 함 22살인데;
-
컴잘알 분들 9
저기 운영체제 free dos랑 win11 home/pro 차이가 뭔가요? Free...
-
지금은 메가스터디 회장이신 손주은 회장님의 강의를 들었으면 지팡이 집고 다녀야 할 나이이긴 하죠. 8
'예, 그 사람이 바로 접니다' 3년 전에 공부왕찐천재 홍진경 채널에 손 회장님...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?