공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
얼버기 4
얼리 버러지 기상
-
맞팔좀 해줘
-
저도 쪽지주세요 0
-
내일당장 나가고싶지않음..진짜 ㅈㄴ한계에몰림
-
국회 방청가서 이재명 나경원 정청래 우원식 안철수 싸우는거 직관
-
평가원기출이고 좀 옛날기출일거에요 현대소설인데 내용이 주인공이 가난해서 부잣집이 죄...
-
네이버페이 안쓰면 사형.
-
머하고살면좋을까 0
흐음
-
손님 없으신가
-
뀨뀨 1
밥먹으러가야징
-
저 저격하지 말아주세요 다 살자고 하는건데
-
강기원 단과 듣는 애인데 부엉이 옆자리 애 자니까 ㅈㄴ 쪼개면서 꼰지르고 오더라 무서웠음
-
김동욱 커리 2
이번 수능 5등급인데 김동욱 커리 어케 타야할까요
-
그냥 각자집에서 스타듀밸리나 마인크래프트 멀티나 하고싶다 1달에 한두번만나고..
-
추천부탁
-
사마귀 개같네 0
치료하는날마다 오늘은 죽엇다,죽는날이다 생각하고 집와서 끙끙앓음
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?