공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
한 푼만 주세요
-
물가가 비싸구나 0
-
얼마나 걸리려나
-
예비넘어까지 돌거같진않은데 설치나가야지
-
ㅈㄱㄴ
-
건대 0
점공 기줌 예비 4번인데.... 27명 뽑는데 31등이에요 이거 떨어짛 확률...
-
레어 확인용 13
-
컴공잘알 있나여 2
2-1 가는데 객지프가 교선으로 뜸 (자바) 하는게 맞음?
-
성공했다ㅎ 6
공짜소고기ㅎ
-
마음만은 여자라서 ㅎㅎㅎㅎ
-
그래서 메디컬 안다닌다고 함 ㅇㅇ
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 미리 하나 장만해두세요~~...
-
뭔 2월 6일까지 기다려
-
이제 고졸이닷
-
인증이안됨 1
뱃지도 에타도 카페도 내 합격증이 잘못됏나 의심이 들기 시작 ㅠㅠ
-
발표좀 해라
-
언매 기본개념, 요즘 심화로 내는 개념들 다 정리 독서, 문학 기출분석(지문 소재별...
-
갑자기 궁금해졌어요 수전증때문에 중도포기하는 케이스는 없나요?
-
이것만큼 스트레스 확 풀리는 것도 없는데
-
28 14 7 7 14 28의 6개의수가있는데 이때 7 번째 자리에올수는?...
-
갈비만 기다리는 중 흐헤헤
-
배수 뾰이뾰이하는게 신기하긴 한데 뭐 배수가지고 케분줄이기.... 흠... 좀... 에바아닌가
-
레어하나가 복제 됐다 15
-
신기하게 생겼네 6
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
-
복지부는 700명제한했으나 국방부(병무청)은 250명 결정 병무청이 전국보건소/지소...
-
고대 교과 점공 중문 이상한 표본이 들어왔다 나갔네 1
1 2 3지망 다 있는거도 아니고 딱 1지망 고대만 있고 내신도 평균내신인데 점공...
-
갑자기 이대 의대 가고시픔 “이화여대” <<< 간지와 전통이 살아있는 명문학교 느낌.
-
그래서 덕코 2
상장 언제함 상장하면 재밌을듯
-
1500%도 노조에서 반발중 합격스펙에 자격증도 궁금하다 참고로 문과 없는이유 =...
-
얼버기 5
얼간이 버러지 기상
-
내 아크테릭스 ㅠㅠ
-
이따 공군 면접인데 10
긴장되네.. 왜 갑자기 1차 1.13배를 뽑는겨 ㅠ
-
할머니가 화요일 대동맥판막치환술과 관상동맥우회술을 하시다가 마무리에서 심장에서...
-
이화여대 1
로고에 쓰여진 년도는 이화여대가 설립된게 아니고 이화여자고등학교가 설립된 년도라는...
-
후회하는옯붕이면 냥추 ㅋㅋ
-
연대 다니지만 3
누가 물어보면 그냥 인서울은 성공했어요~ 하는 상상 구라는 아니잖음
-
위아래로 눌려서 OoO 이러고 있는 것 같애 。◕‿◕。
-
데모 손난쟈 다메!
-
의견 궁금 9
진짜로 동>외 임요...?
-
진짜 뭔가 현실성이 없음
-
춥다 5
소곱창 전골 먹고 싶다
-
한 점심때쯤에 한꺼번에 답변 달 예정
-
갑자기 연대가고싶음 ...
-
얼버기 1
치과가는중..
-
덕코 주세요...
-
8월 1일 ~ 12월 31일중 하나임 힌트) 한국사 사건사고
-
2/13에 추합한 사람도 낄 수 있음?? 빌넣ㄱㄴ??
-
서울대 윤리교육 7
내신 bb라고 가정했을때 388점이면 가능한 점수인가요? 점공 현황 아시는분 ㅠㅠㅠ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?