공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
차단목록공개 0
빼고 찍은 것도 있긴해요
-
킼킼..오버슈팅은 무슨..킼킼...브레턴우즈 대비 리트...킼킼... 1
음음 그래그래 언매 1컷 92점 달성 대 가 원
-
혹시 비행기 타보셨던분들 있으시면 질문 하나만 할게요 2
국내선 비행기 탈 때 출발 몇분전까지 공항 도착해야 하나요? 참고로 광주에서 출발할 예정입니다.
-
-
바로 쏴드려요
-
나 이따 아침에 가는데 가서 세뱃돈 주시면 어케해야하지 거절해야하나 아님 걍...
-
흔히 존나 꼬였다하죠 너무 괴롭고 비참하다고 느껴지면 행복한 이들이 부럽다가...
-
ㅜㅠㅜㅍㅍ푸ㅜ푸푸ㅡㅜㅜㅠㅜㅠㅜ 푸푸
-
참;
-
음..
-
어릴땐 학교에서도 유명한 존나 극강 E였는데 학년 올라가고 가끔 새로운 애를 나도...
-
근데 "연애? 당연한거 아님? 못하는사람이 뭔가 문제가 있는거겠지" 이런 스탠스는...
-
님들 몇살임? 13
제가 누구 나이를 들어도 자꾸 까먹어서...
-
생윤 해설강의 보는데 12
11번 문제 왜 을이 노자임? 장자는 안돼?...
-
체취는 아예 없는 편이예요 근데 대학 가면 좀 뿌려볼까 해서.. 추천해주실 만한 거 있나요?
-
걍 제 이상형이 도란인듯… 제가 생각하는 너드남의 정석도 도?란 물론전남자라도란형이싫어하겟지만..
-
사촌형 고대나와서 자영업해용 하나의 고대 민족고대 무료성형시술 개꿀~
-
estj는 어떰 4
저랑 완전 반대라 궁금함
-
4수 5수 연달아 망하면 그때 한번에 터뜨릴거임 진짜감당안될듯,,
-
아.
-
먼저 제 실수로 피해를 입으셨을 피오르 컨설팅 팀에 사과드립니다. 죄송합니다...
-
가천대 논술 0
의대 25모의 풀어봤는데 생각보다 쉽네요 범위도 수1수2미적이라 최저 맞출 자신있고...
-
ㅎㅎㅎ
-
우울메타에요? 3
새로운을사년에왜들그리슬프십니까
-
나만 그러나 ㅠㅠ
-
저거 삭제 버튼 눌러도 삭제가 안되더라...
-
걍 3
띠꺼운거 싹다 차단해놓고 며칠 잇다 푸는게 낫겟네
-
일체유심조 라고 모든 것은 오직 마음에서 지어낸다 는 뜻인데 근데 이걸 과학적으로...
-
대다수가 N수생인데 안힘든게 말이 안되는거죠 현역 고3도 괴로운 삶인데 그걸 몇년째...
-
09가 여기 왜 있지 하다가 생각해보니까 벌써 준고딩이네 으악
-
생윤황있나?
-
짜증나네
-
2번돌리고 틀린거ㅅ만 다시풀까용?ㅠ
-
j 0
-
지방의<의사업계애서 평생 무시당함 친척어른분이 의사신데 대학이름 듣자마자 바로...
-
나만 그런지는 모르겠는데 뭔가 키작은 여자 보면 진짜 어떤 욕망이나 의도는 없이...
-
맞팔구함 3
ㅇ
-
-
님…
-
재귀대명사 질문 1
철수가 자기 집에 도착했다-->이문장에서 '자기'가 재귀대명사인 이유가 뭔가요?...
-
다른 사람들에 비해 꿇리지 않을 수준이긴 함
-
다들 자나
-
, 1
-
그냥 밤샐까?
-
헤으응 2
형아
-
고귀한 느낌을 보이는 다른 미드들의 아지르와 다르게 망해가는 왕국을 살리려는...
-
넌 ㅆㅂ형이랑 끝까지 가자 ㅇㅇ 진짜 무조건 높1 띄워줄게 형이 ㅆㅂ걍 다풀어줄게...
-
요리를 잘한대요
-
내 자'신'
-
공스타 맞팔 0
dived_owl ㄱㄱ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?