공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
일주일에 모르는 수학문제 질의응답만할라는데 고3기준 시간당 얼마 드려야 적당한가요??
-
화면 밝기 최대한으로 어둡게 함
-
쪽지를안보냄 걍말아야겠다
-
이게 교사보다 더 꿀임. 형은 팩트만 말해준다...
-
확통을 다 맞고 1
수학 1등급을 쟁취하자
-
난 한번도 없어 님들도 그러함?
-
큰일남 2
요즘 체력 이슈로 공부를 한달?정도 쉬었다가 화2문제가 안 풀림..
-
아 오르비언들말고 회사가요 인강 강사 상상 이상으로 많이 배출하고 유명한 저자...
-
현학적이고 더럽게쓰는건 있나보다 인구학적 및 경제학적 지각변동은, 세대 전쟁의...
-
3월학평 지1 15
시간측정은 따로 안했는데 커피 사진찍은게 1시 7분이고 끝났을때가 1시 32분쯤이니...
-
8점맞음 1
흠
-
대성패스 양도 0
재수 안하게 되서 20에 양도해드려용 쪽지주세요!
-
심심한데 바로 공부해야하나
-
바지는 기모아닌데 두꺼운편임 봄가을겨울 바지ㅔ
-
점심 ㅇㅈ 8
캬캬캬 돈 벌고 맛있는거 사먹는거지 이거거덩
-
이게뭐람
-
재능테스트 3점 4
레전드 노재능러
-
강e분 1
교재 꼭 사야할까요? 수특책으로 강의만 들으며 필기해도듀되겟죠?
-
무서워서 못봄 내가 멍청하다는게 들통나자나.. 그래서 발전이 없는가봄..
-
생1 기출문제집 자이스토리 괜찮나요?
-
앞으로 하루에 국어 비중을 얼마로 두고 최소 몇 시간 이상 공부해야 할까요?...
-
문제집 딱 한 권 정도 더 풀 시간 남으면 기출이랑 내신 고난도 문제집 중에 뭐가 나음?
-
이번 고1 3모 국어 43~45번 [쌍주기연] 문제 4
너무 좋네요 진짜 평가원 문제에 그대로 내도 될 듯 수험생 분들 한번 풀어보시는거...
-
교재 아직 안왔는데 혹시 다시보기 남나요? 급합니다 좀 알려주세요 안 남으면 그냥...
-
심심해서 고3 3모 풀어봤는데 35점? 인가 나왔는데 생윤이랑 잘 맞는거임 아니면...
-
대학입학안해도 2
회사 입사할수 있을까? 아무래도 힘들겠지?
-
10분 일찍 시작해서 10분 늦게 끝냄
-
그 얼마안되는 집값이 두배인 동네가 있었는데 거기에 번화가랑 학원 인프라 다...
-
승모센세 8
보고싶다 실제로 뵌 강사중에 참선생에 가까운 분이셨는데 잘지내시겠지
-
하원완뇨 5
오늘 할일았어서 일찍 퇴근함
-
3등급 대 대학에서 미적 기하하면 표점 10퍼 가산점 주는데 기하하는게 맞나요? 고민이네요 ..
-
붕스 뭔데 1
완매를 준다고? 완매를 준다고? 완매를 준다고?
-
제가 질문이 많아서 질의응답 자유롭게 할 수 있고, 학습에 대한 방향성을...
-
3모수학 6
3모수핫 미적 51인데 머해야하나요?ㅜ 힝
-
가형이 두번있던데 171130,181130 있을 때를 보통 가형이라고 하는거임?
-
10초 있다가 바로 뺌 이 도시락은 렌지 넣으면 안되는구나
-
절댓값 씌운 함수 연속이고 좌우 부호 다르면 좌+우=0
-
엑셀은 일주일에 0
보통 얼마나 풀어요??
-
성모병원 치과진료다니고있는데 신경치료다끝나고 크라운 씌운곳이 어제부터 극심한고통와서...
-
내 닉 9
누가 안가져가서 다행이다..혹시 몰라 걱정했는데ㅋㅋㅋㅋ
-
팔로우당함...... 딱히 욕하려고 쓴글은 아니었는데..... 그보다 수험생이면...
-
평가원 #~#
-
3덮 언매 78 미적 69 x x x 점심 먹고 집에 갔어요.. 3모 화작 88...
-
쾌락에중독된듯 16
술약속계속잡아 연초계속펴 근데전담도계속펴 밥대신초콜릿먹어 ㄹㅇ 쾌락 중독인가
-
5시간만 지나면 0
슬먹을수있다
-
어떤지 알려주실 수 있나요? 간절합니다 ... 다른 독학기숙 다니고 있는데 매일...
-
Zzzz
-
이런 날씨엔 11
아샷추 한잔 홀짝이면서 책을읽어볼가
-
작년부터 저희 학년부장 선생님께서 시험이 어려워야 표준편차도 적어지고 대학에서...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

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

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