공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
사촌형 고대나와서 자영업해용 하나의 고대 민족고대 무료성형시술 개꿀~
-
estj는 어떰 5
저랑 완전 반대라 궁금함
-
아.
-
먼저 제 실수로 피해를 입으셨을 피오르 컨설팅 팀에 사과드립니다. 죄송합니다...
-
가천대 논술 0
의대 25모의 풀어봤는데 생각보다 쉽네요 범위도 수1수2미적이라 최저 맞출 자신있고...
-
우울메타에요? 3
새로운을사년에왜들그리슬프십니까
-
나만 그러나 ㅠㅠ
-
걍 3
띠꺼운거 싹다 차단해놓고 며칠 잇다 푸는게 낫겟네
-
09가 여기 왜 있지 하다가 생각해보니까 벌써 준고딩이네 으악
-
생윤황있나?
-
짜증나네
-
2번돌리고 틀린거ㅅ만 다시풀까용?ㅠ
-
j 0
-
반수성공해야하는 이유 11
지방의<의사업계애서 평생 무시당함 친척어른분이 의사신데 대학이름 듣자마자 바로...
-
나만 그런지는 모르겠는데 뭔가 키작은 여자 보면 진짜 어떤 욕망이나 의도는 없이...
-
맞팔구함 3
ㅇ
-
님…
-
재귀대명사 질문 1
철수가 자기 집에 도착했다-->이문장에서 '자기'가 재귀대명사인 이유가 뭔가요?...
-
다들 자나
-
, 1
-
그냥 밤샐까?
-
헤으응 2
형아
-
고귀한 느낌을 보이는 다른 미드들의 아지르와 다르게 망해가는 왕국을 살리려는...
-
넌 ㅆㅂ형이랑 끝까지 가자 ㅇㅇ 진짜 무조건 높1 띄워줄게 형이 ㅆㅂ걍 다풀어줄게...
-
내 자'신'
-
공스타 맞팔 0
dived_owl ㄱㄱ
-
다들 ㅇㅈ글을 기억하고 잇으신건가요… 진짜안되는데…
-
남자도 좋고 여자도 좋은데 양 성별에 다 이성적인 좋음은 한 번도 못 느껴봤고 그냥...
-
아 나구나
-
아직대학다발표안함?
-
ㅠㅠ 혹 CC빔 맞을까봐 두렵기도하고 요즘 정신병걸릴걱같음 ㄹㅇ 설경… 붙으면 어떤느낌일까…
-
잘자라고해주셍요 7
굿나잇
-
2일인가 3일 동안 안 씻엇는데도 떡 안 쟜다고 해줘서 얘는 진짜 착하구나 싶었음
-
내 방에서 자니까 내가 잘곳이 없음
-
뭐든지열심히하는사람이되고싶고 뭐든지열심히하는사람을만나고싶군요
-
맨날 깽판부리면서 살아야지
-
티카타카 마려운데 페드리나 파머 같은 애들 쓰고싶음 근데 또 너무 구리면 안됨 근데...
-
저 키 큰듯 3
고3때에 비해 1센티 정도...
-
난 그 기대 하나로 오늘도 힘겹게 버틴걸
-
적당히 이럴땐 이래야해!!! 이러면서 근데 그러면 그렇게 만들어진 잘못된 습관이...
-
-
근데그러다가 책이랑이불에 쏟으면...
-
나를 아는 사람들은 11
그리고 내가 아는 사람들은 대부분 오르비를 떠낫구나
-
이거뭐야…
-
작수 백분위 78로 3이긴 한데 그 이후로 손도 안 대서 감 많이 잃었습니다...
-
요즘 원신, 젠레스, 명조 이렇게 하는듯 붕괴는 초반에 하다가 때려쳤는데 명조처럼 다시 주워올지도
-
저도질문받거나해드려요 34
-
본인입으로 1등급 2등급 내신 받고싶다고 한 시점에서 일반적이지 않은 내용, 자칫...
-
-
혹시나 해서.
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?