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