공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
현역이 수능을 보통 못 보는 이유가 학교 수업시간에 수업듣고 수행준비 시험준비 학종...
-
맛잇는거 1
잔뜩 쳐먹기
-
자작문제 3
만드시는 분들 처음에 문제 만들기 어떻게 시작하신 건가요? 수능 끝나고 관심 생겨서...
-
졸라 못생겼다고 2
들었던거 생각난다.. 곽튜브도 울고갈 얼굴이라고 하던데..
-
외 안 뜨는지 6
이해가 안 되..
-
햄북딱
-
하루에 글 300개를 어케 씀
-
럭키비키 조합 3
원영이흐흐흐
-
의외로 중국인의 19퍼는 기독교인임 기독교인은 천주교 개신교를 포함하는 큰 틀이고...
-
앞으로 힘들면 여기다 배설 해야겠어 30분전까지 다 포기하고 싶었는데 힐링댐
-
내일부턴 다시 계획표대로
-
안 먹으면 180에 80 미들급 유저가 때리러감
-
작년엔 안이랬는데 친척들 다 정치얘기하시노
-
먼저 제 실수로 피해를 입으셨을 피오르 컨설팅 팀에 사과드립니다. 죄송합니다...
-
복권 당첨확률 10배 이벤트 하고 싶다
-
AI가 생성하는 콘텐츠가 사회주의 핵심 가치관에 부합하는지 ㄷㄷㄷㄷㄷ
-
그림 ㅇㅈ 6
고딩 때 공부하기 싫으면 그림 그림
-
관심줘서감사합니다 아이 신나
-
아직 81키로여서 하고싶어도 할 수가 없음ㅇㅇ
-
그러면 너무 허무하고 느리게지나면 힘듦 차라리 빠른게낫다
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?