공리를 부정해도 무모순임
게시글 주소: https://a.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
악역은.. 익듁하니까..
-
ㄹㅇ 올리고 나서 혹시 오르비 너냐고 연락올까봐 개쫄림
-
특정확률 523배이벤트 열리는데 못생긴걸 떠나서 쫄려서 못하므
-
메디컬가고싶어요 3
하ㅠㅠ
-
풀어도 될까요? 4점기출안에 3점도 있습니다 ㅋㅋ 생각의 질서는 배송 오는 중이고...
-
쫄려서 못하겠음
-
남자들이 조아하는 노래 차이점좀 알려주삼뇨
-
둘다해봤는데 걍..똑같던데 뭐가 다르단거지
-
툭툭내뱉는데 은근섬세하단건 칭찬인가
-
고해 이미 슬픈 사랑 겁쟁이 내여자라니까 응급실 이거 순서대로 부르면 된다 커플되세요 ^__^
-
다들 잘생기고 이쁘네.... 부럽다부러워
-
그럼 온라인상에서의 내 치부가 전부 드러나버려
-
ㅇㅈ 50
진심.. 존못인데 올려본다.
-
그치만 중요한거 몇개만 봤으면 된거 아닐까?
-
모쌩겨서 자러감 16
.
-
그래서 연애하는 꿈도 맨날 초반부에 끊기고 깨버림
-
너 24만원짜리라고
-
눈 ㅇㅈ 7
-
경우의 수랑 확률 부분은 이해도 잘 되고 문제도 잘 풀리는데 통계 << 얘 강의...
-
ㅇㅈ마렵다... 3
-
ㅇㅇㅈ 18
이왜진 펑 재탕ㅇㅇ
-
나도 눈 ㅇㅈ 5
-
ㄹㅇ
-
으흐흐
-
25키로가되어서 초등학교 재입학하겠음
-
올해 신설된 과고 아직 오티 새터 아무 언급이 없는데 없을수도 있나요??
-
ㅇㅈ 1
그런건없다
-
그럼 내가 ㅇㅈ 10
펑
-
여자는 반응이 다르구나 10
고려대를 가야 할 이유가 생겼다
-
코하고싶은데 6
문제는 코는 좀 티가 많이난다는거임!
-
는 시발 일찍 일어나야되는데 하
-
음주롤 0
ㄴㄴ
-
성형하는거 2
잘만되면 참 좋을듯 외모도 학벌처럼 평생가니까
-
에잇 제기랄 1
ㅇㅈ 다놓치네
-
.
-
현우진이랑 주커버그랑 싸우면 누가이김
-
욕먹은적 많았는데.. 착한댓 감사합니다..
-
추합 몇명 돌거 같아요?
-
비문학 과학 제재는 곧잘 하는데 기술 제재에서 하나둘 삐끗하고... 작년에 수논까지...
-
쩝 자야겠다 1
우울해질 땐 자야지
-
현역되니까 6
주변에 오르비 하는 사람 많아져서 특정 당할까봐 ㅇㅈ 못 하겠음ㅋㅋ
-
해외운전 머 속도조절해야한다고 그러던데 시밯 ㅇ생일때부터 난 쳐울고잇음
-
ㅇㅈ 눈만 13
펑
-
노베 재수는 헬스터디 하재호님이 가장 현실적일까요? 6
한 국수 4등급에서 스타트 끊어도 큰 차이가 없을래나..
-
맞팔구 13
똥테달래요..
-
하라면 해;
-
나쁜 남자네
-
잡곡밥에 다진 닭가슴살 넣은 주먹밥(밥에 소금간없고 싱거웟음) 먹고 맛있다고...
-
나도 ㅇㅈ을? 1
음
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?