공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 나한테 천덕 줘야함 선착순 천덕 주는 사람 1명 받음
-
학교에서 강제로 영화보러 가는데 재밌으면 보고 재미없으면 잘거임
-
옯뉴비다링 6
-
소아비만은 진짜 안됨 왜 안되냐고는 묻지마..
-
나는 아나운서 개그맨도 보이는거 보니까 ai기준에서도 하타치라고 인식한 듯ㅋㅋ
-
시발
-
제주도 특 4
공기"만" 좋음
-
셀럽미 ㅇㅈ 12
이제 슬슬 자야지
-
수능미적 25나 26번에 슬쩍 내면 미붕이들 머가리 터질까 아니면 잘 대처할까 뭔가...
-
어떻게 생각함
-
왜 안자요 0
-
잘거야 2
-
진짜 ㅈㄴ 이쁘네 짤 저장 ㅈㄴ 해야겠다
-
나는 서울살지만 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
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?