공리를 부정해도 무모순임
게시글 주소: https://iu.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
넌 ㅆㅂ형이랑 끝까지 가자 ㅇㅇ 진짜 무조건 높1 띄워줄게 형이 ㅆㅂ걍 다풀어줄게...
-
새르비니까 한번씩 적어보시죠 아침에 지울겁니다 저는 중학교때가 좀 후회되네요 그때...
-
나만 그런지는 모르겠는데 뭔가 키작은 여자 보면 진짜 어떤 욕망이나 의도는 없이...
-
님들 몇살임? 13
제가 누구 나이를 들어도 자꾸 까먹어서...
-
저거 삭제 버튼 눌러도 삭제가 안되더라...
-
무물보 33
거짓말은 최고의 사랑
-
ㅇㅈ 18
-
-
대학가면 화석취급임? 16
군인 04인데 대학가면 신입생이 07임ㅋㅋ 내가 이성적인 감정을 느끼면 좀 이상한놈인가
-
이거 먹을려고 열심히 일 했어요
-
난이도 쉬움 투표 글이 훨씬 반응 잘 옴 댓글은 귀찮아서 오르비언들이 잘 안 달아줌...
-
저 사실 09 10
입니다 맞춘 사람이 으ㅓㅂ네
-
제 나이 맞추면 천덕… 10
바로 쏴드려요
-
해봄? 할짓이못됨ㄹㅇ
-
주량 기준 알려줘 13
얼굴 빨개지는거 알딸딸한거 속 뒤집어지는거 필름 끊기는거 기준이 뭐여
-
ㅇㅇㅈ 18
이왜진 펑 재탕ㅇㅇ
-
프사만 이쁜 남르비들이여썩
-
163 75 손 ㅇㅈ 16
어떤가요..쩝
-
좋앗을것을
-
나도.. 다이어트 하면 16
괜찮을까..?
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?