공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난 여고딩 같이 생김 10
라고 하면 총 맞겠지
-
금방이라도땅이꺼질듯해
-
왜냐면 베라 4000원 할인 쿠폰 한 달에 한 개씩 생기거든 뭐로 먹을까?
-
이렇게 금연하게 되는건가
-
그냥 옆에 동기 반강제로 오르비 가입시키고 만나면 그게 옯만추지 ㅋㅋ
-
수지게이 같은 친구들은 함축적 의미를 해석 못하는거 같은데 국어 몇등급일까 비문학은...
-
난 고대 좋아함 7
그 흰수염 해적단같은 특유의 분위기 좋아함 그래서 의대 중에서는 한림이 호감임
-
버근가
-
내일 먹을 거 2
아침 - 삼각 김밥 1,200원 점심 - 우동 6,000원 저녁 - steak...
-
오르비언이 나 살렸음 12
진짜 숨참고 뒤질뻔했다가 살아났네
-
그는 나에게 일말의 관심조차 주지 않는다.
-
샴푸가 다 떨어져서 비누로 머리감음... 넘 찝찝한데 편의점에서 샴푸 사서 다시 감을까요?
-
저 여르비 아님 3
놀랐죠 ㅋ
-
내가 국어로 사기치는 사람들을 경멸하는 이유기도 함 6
수학은 못하면서 사기치는게 내 상식으로는 불가능해보이고 일단 나는 내 실력에...
-
옯창의 무게를 견뎌라
-
오르비 랭킹 3위 먹고 그랬는데 개학하니까 잘 안되네요
-
병원 가야하나요? 커피 아침에 한잔 마신게 다인데 왜이러지 엄청 피곤한대 누워서...
-
그 중에 님은 없을 수도
-
생명 수특 0
필수인가여 시간 별로없는데
-
명조 픽뚫 남 0
끼아아아아아아아아ㅏ아아아아아ㅏ악
-
예에에전에는 교과서에 순우리말 문법 용어 넣으려고 했음 1
근데 무산
-
10시쯤에 가자
-
님들 뭐배워보고 싶으심 22
취업 돈 이런거 빼고 그냥 순수하게 자기가 배워보고 싶은 학과 참고로 전 전기공학부입니다.
-
저는 리제로
-
진짜 빨리 안 달면 죽을 수도 있음 진지함
-
이륙하면 만덕 뿌릴거임
-
화작 컷이 곱창나서 울며 겨자먹기로 언매하는 거지 기하처럼 화작이 꿀과목이었으면 걍...
-
스릴없어
-
칼리칼리굴라효과 2
댓글절대안달아
-
센츄리온 6
빨간색이 더 예쁜거같은데 저걸로 바꿀수없음?
-
곱씹어볼만 한가요???
-
절대 달리면 안됨 무슨 일이 있어도
-
내일 하겟읍니다 공부하러감 ㅂㅂ
-
국어성적올릴라고 0
ㄹㅇ 별에별 개잡기술들로 어캐든 커버하려고 발버둥 쳣엇는데 갑자기 기억남 지금 다까먹어버림
-
문학은 2
독서처럼 '어, 너무 개소린데' 하고 바로 고르는게 아니라 선지 보면서 '그럴수도...
-
우리학교 동기들도 하는 놈 분명 있을건데 난 이거 계정 들키면 반수 선언 할거임 내...
-
담주 월요일 오전 10시에 대형학원에서 외부생 접수 받는다고해서 오픈런하려고...
-
작수 47점인데 지금 거의 다 까먹었어요.
-
ㅈㄱㄴ 꼼꼼하게 제대로 할건데 독학으로 솔텍의 모든 내용을 100퍼센트 다 가져갈...
-
최적 개념교재로 따라가도 ㄱㅊ을까요? 올해는 김용택쌤꺼 들어보고 싶은데 교재비가 아까움 에반가여
-
독서에서는 이제는 그나마 여기가 함정이네 이게 다 같은 범주네 이게 보이는데...
-
파란색 팬들로 채울 때 먼가 보기에 예쁘긴 하네 LIONS ㅇㅇ
-
본문은 어차피 선지에서 다 해석해주니까 무조건 틀린 선지 빠르게 거르면서 시간...
-
재수생 확통런 0
3모 80점인데 미적 28 29 30 3개틀렸고 27번도 거의 찍어서 맞췄는데...
-
국어난이도순 4
언어>현대시>고전시가=과학기술>인문예술>고전소설=현대소설>사회문화>독서론>매체 순인듯
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?