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