공리를 부정해도 무모순임
게시글 주소: https://9.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
, 1
-
그냥 밤샐까?
-
헤으응 2
형아
-
고귀한 느낌을 보이는 다른 미드들의 아지르와 다르게 망해가는 왕국을 살리려는...
-
넌 ㅆㅂ형이랑 끝까지 가자 ㅇㅇ 진짜 무조건 높1 띄워줄게 형이 ㅆㅂ걍 다풀어줄게...
-
요리를 잘한대요
-
내 자'신'
-
공스타 맞팔 0
dived_owl ㄱㄱ
-
다들 ㅇㅈ글을 기억하고 잇으신건가요… 진짜안되는데…
-
남자도 좋고 여자도 좋은데 양 성별에 다 이성적인 좋음은 한 번도 못 느껴봤고 그냥...
-
ㄱㄱ 대댓 안됨
-
아 나구나
-
아직대학다발표안함?
-
ㅠㅠ 혹 CC빔 맞을까봐 두렵기도하고 요즘 정신병걸릴걱같음 ㄹㅇ 설경… 붙으면 어떤느낌일까…
-
잘자라고해주셍요 7
굿나잇
-
2일인가 3일 동안 안 씻엇는데도 떡 안 쟜다고 해줘서 얘는 진짜 착하구나 싶었음
-
내 방에서 자니까 내가 잘곳이 없음
-
뭐든지열심히하는사람이되고싶고 뭐든지열심히하는사람을만나고싶군요
-
맨날 깽판부리면서 살아야지
-
티카타카 마려운데 페드리나 파머 같은 애들 쓰고싶음 근데 또 너무 구리면 안됨 근데...
-
저 키 큰듯 3
고3때에 비해 1센티 정도...
-
난 그 기대 하나로 오늘도 힘겹게 버틴걸
-
적당히 이럴땐 이래야해!!! 이러면서 근데 그러면 그렇게 만들어진 잘못된 습관이...
-
-
대조해보니까 아니네 원본 찾을때까지 계속 조사한다
-
근데그러다가 책이랑이불에 쏟으면...
-
나를 아는 사람들은 11
그리고 내가 아는 사람들은 대부분 오르비를 떠낫구나
-
이거뭐야…
-
작수 백분위 78로 3이긴 한데 그 이후로 손도 안 대서 감 많이 잃었습니다...
-
요즘 원신, 젠레스, 명조 이렇게 하는듯 붕괴는 초반에 하다가 때려쳤는데 명조처럼 다시 주워올지도
-
저도질문받거나해드려요 34
-
본인입으로 1등급 2등급 내신 받고싶다고 한 시점에서 일반적이지 않은 내용, 자칫...
-
-
혹시나 해서.
-
사람이 많네 원래 보던 사람만 있었는데
-
흠냐링뇨 0
아함 쩝
-
잘자티비 3
반말미안티비 좋은꿈꾸라구몬
-
그러니까 빨리 팔아달라고 킅런트야.... 연휴 끝나면 그.. 올려줄꺼지??
-
자꾸 결국 발생하지도 않은 일 갖다가 마음 졸이고 있는데 어쩌죠 8
예를 들어 제가 올해 4합8 간신히 맞췄는데 4합8 못 맞췄으면 어쩔 뻔했나 이런 식으로
-
중산고였는데 문이 철문이고 조명이 개음산함 종소리도 무섭고
-
이번 정시에서 사탐2로 약대 안정권 뜨신 분 성적이 어케 되시나요
-
-
고2 수1 내신도 결국 수능 난이도 안벗어나니까 그거 대비도 하고 어려운 경험 미리...
-
국어 인강만듣다 독학 첨으로 해보려는데..피램 독서 문학 둘다 좋나요? 0
제가 그냥 독서 문학 둘다 너무 취약해서.. 피램은 문학이 더 좋나요? 독서가 더 좋나요?
-
나만그런가 칠판강의보다 A4용지 손해설이 강의량도 적고 집중과 습득이 잘되더라
-
아이돌하나도 몰라서 다 구분이 안돼...
-
과탐이랑 언매 본다 했을때 최소 어디까진 받아야 쓸만하다고 할 수 있ㅇ나여 올...
-
해봄? 할짓이못됨ㄹㅇ
-
주량 기준 알려줘 13
얼굴 빨개지는거 알딸딸한거 속 뒤집어지는거 필름 끊기는거 기준이 뭐여
-
예산은 넉넉한데..
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?