공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
뭐 너무도 당연하게 예비도 없음
-
ㅇㅈ 7
눈오리
-
ㄷㄷ
-
차단기준 14
분탕, 닉, 뉴스, 프사
-
새벽반이라 사람이 많이 없군 내일은 덕코를 받고 본격적으로 장사를 해볼까..
-
어디까지 해야하지
-
피어리스의 최대 수혜자 팀이다 아니 언제는 시우 : 신인이라 챔폭 불안한거 아님?...
-
님들 차단기준이 뭐임 19
-
좌우 가릴 것 없이 다 지들만 깨어있는 시민이고, 애국잔 줄 아는게 코미디임.....
-
님들 차단목록 몇명임 12
ㅇㅁㅇ
-
진짜 풀면서 울 뻔
-
드릴 초반에서 문제당 5분씩 걸리네.......폼 돌아오려면 얼마나 걸리려나.....
-
그림 나왔습니다 8
하체는 알아서 그림
-
07 현역입니다.. 내신때 생1을 햇엇어서 24수능을 한번 풀어봣을때 18개...
-
너무궁금ㅠㅠ
-
대학을 어디갈 수 있을까요.
-
나중엔 얼마나 재미없을까 너무 두렵 진 않다 난 원래 미래를 걱정하지 않는다 크크
-
님들아. . . 니네가 원하는대학교 못갔다고 낙담하구 열등감느낄수있겠지만 거기가서도...
-
뚱뚱해가지고 간식 주니까 후욱후욱 거리네요
-
어카노? 운지마렵노~~~
-
대학커뮤니티 노크에서 선발한 한국외대 선배가 오르비에 있는예비 한국외대학생,...
-
에이됏다 6
딴거함걍
-
또 한번의 미친 서사를 쓰는거긴함
-
아는선이나 주관적인 생각하에 답변해줌
-
새해부터 기분 좋게 시작할 수 있겠네용 흐흐 단지 누군가 나를 알고 있고 기억해주고...
-
국어:나머지 = 10:0이 되버렷
-
얼마나 적음? 난 총 9권
-
-
[속보] 김해공항서 에어부산 항공기 꼬리에 불…승객 169명 비상탈출 3
김해공항서 에어부산 항공기 꼬리에 불…승객 169명 비상탈출
-
원래 저런 성향인가
-
현역 물2ㅋㅋ 19
07 현역이 물1 선택에서 물2로 전향하려고 하는데요 물2 6평까지 1등급...
-
너무 그림이 고퀄이면 제가 못그려요
-
-
작수 41로 1인데 7월부터 합류한다치면 무슨 강의부터 듣는게 나을까요
-
공부법 커리 등등 아무거나..
-
착하고 온순해 자리를 바꾸어 달라는 친구의 부탁을 잘 들어주었으며 친구 웃기고있네
-
프사 추천 좀 2
ㅊㅊ
-
슬기<—-이상형 ㄹㅇ 성격 너무 좋고 너어무 예쁨 덱스도 남성적으로 잘생기고 매력적이라
-
자기연민은 4
ㄹㅇ 답이 없음
-
한양 경영 0
한양 경영에서 공대로 전과나 다수전공 많이 빡셀까요?
-
뉴런 스블 0
뉴런 작년에 들었는데 거의 까먹었고 26뉴런 다 사서 미적 띰3 강의 7개분...
-
손 들어주세요
-
이런 널 보며 행복할 나를 알잖아
-
불쌍함
-
레츠고 팀 발차기 마스터 리신 , 호날두 , 마스터 우 , 정석민 lets go
-
⭐️ 연세대학교 중앙새내기맞이단에서 25학번 아기독수리들을 환영합니다 ⭐️ 0
⭐️ 연세대학교 25학번 아기독수리들 주목 ⭐️ 안녕하세요! 연세대학교...
-
미래가 두렵다
-
나도 그림 그려볼까 12
이미지 주삼 2명까지 받음
-
작금의 세상에서 발생하는 갈등은 사람들이 서로를 이해하지 못하는 것에서 촉발된 것이...
-
내맘대로 그린다
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?