공리를 부정해도 무모순임
게시글 주소: https://a.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
연논 인문 수리 6
P=44/100 Q=55/100 f(x)=11x+44 뒤는 잘 기억안나는데 아마...
-
한줄평: 영어 지문 난해하고 수리 쉽고 인문 윤리엿음 1번을 못 채울 줄은 몰랐다....
-
인문 연논 후기 22
2-1이 관건이겠네요 나머지 셋은 평이해서 잘 풀었는데 2-1이 영 찜찜하네요 저는 논술 연대 논술
-
연논 천문 쓴 사람 10
모여보삼
-
수험표에 히라는 말이 있는데 시험 끝나고 수험표 검사하거나 그럴 가능세계 있음..?
-
낼 수리논술 끝나면 시험문제나 정답같은거 알려주나요?
-
작년에는 뭣도 모르고 썼는데 올해에는 공부하고 수업들으면서 정리도 빡세게 하고...
-
경우의 수 하나쯤은 보고가야죠 전문제는 큰 반응없길래 계속 쉽게갑니다 너무 이지하다...
-
힘드러
-
요건 그냥 이렇게 나올거같은거~ 기출요소 큰 반응없길래 계속 쉽게갑니다 확률은...
-
일단 요런글의 목적은 자신감을 채우자+혹시나~모르면 당장 알고가자로 쉬운거로 갑니다...
-
연논 안보는 사람들 알람꺼둬용 이정도도 모르면 떨어진다 확통 기하로 변별하는 연세...
-
이정도도 모르면 떨어진다 확통 기하로 변별하는 연세 대비 쌩기초점검 2) 아까거...
-
연논 합격 7
좋아요 누르시면 연논 인문이든 수리든 다 합격합니다! 인문은 예비 3번받아도 합격~^^
-
연논대비 점검) 자신의 기본개념을 확인해보자 1-0 26
이정도도 모르면 떨어진다 확통 기하로 변별하는 연세 대비 쌩기초점검 1) 개념...
-
고려대학교 수학과 / 기대모의고사 9년차 저자 대학재학시절 수능(평가원) 현장응시...
-
시험지는 납두고 답안지만 걷어가는건가요? 그리고 연논 시험지 빽빽하던데 여백...
-
ㅈㄱㄴ 9모 ㅈ되서 2떴는데 지금부터 엔제 ㅈㄴ 풀면 92가능할까요…
-
연논 꿀팁 모음 28
연고대 3회합격자 연상논술 김태규샘입니다. (연심리, 연경영, 고경제) 올해는 제가...
-
전 내일 조교로 갑니당
-
그 시뮬레이션속에 사는 우리는 그 컴퓨터의 속도가 느림을 알수없음 왜냐? 기준으로...
-
질문받습니다. 1
기세문 들으러 송도를 가는 나!
-
내 논리 1
1. 존재하는 것은 원인을 가진다 2. 이세상은 존재한다 3. 이세상이 존재하는...
-
연논 상경 3
연논 경제나 응통 쓰신분!!!
-
강k 진짜 뭐지 1
15번까진 웬만한 실모보다 빠르거나 같은데 킬러만나면 그냥 썰림 하루에 두개씩...
-
1-1 4번이랑 3-2 18번 ㄱㄴㄷ 선지 순서만 바꾸고 똑같네,,,,
-
내 최근 논리글 12
∀x(Ex) 이 식의 뜻은 "모든것이 존재한다" 부정형은 ∃x(¬Ex) 이고 뜻은...
-
시간확인안한 내잘못이지
-
또보고 또봐도 0
그 다음날 까먹고 못푸는건 지능의 문제인가요?
-
고2 낭만의 자퇴 후 6논술 입시 방향성좀 피드백부탁드려요 ㅠㅠ 4
안녕하세요 형님들 저는 지금 고2 자퇴 예정 중이고 6인문논술을 지원할려고 합니다....
-
인증을 원하시면 뭐 참고하시고... 2년전에 응시해서 합격했었고, 작년에도 한번...
-
풀이를 봐도 모르겠고, 해설 강의를 봐도 모르는 문재는 일던 뛰어넘어야 할까요?
-
1. 신경망의 입력에는 n을 넣고 2. 출력에는 n번째 소수를 넣는거임 그리고 역전파로 학습시키는거
-
신경망에 첫번째 소수를 입력으로 넣고 두번째 소수를 정답으로서의 출력에 넣고...
-
수리논술 1
내년에 수리논술하려고 생각중인데 기하하고 확통은 한번도 해본적없어서 어느정도...
-
있으면 자료들 모아서 책처럼 만들까 싶은데 흠…….. 이제 늙고 병든 퇴물은 과외로...
-
이거 5700명인가 지원했던데 여기 최저도 맞추고 미기확+논술도 잘하는...
-
토욜에 연대 논술보러가는 혀녀기입니다… 고사장 발표가 났는데 자리는 선착순으로...
-
드가자 ㅋㅋ
-
-
존재하는 모든것은 원인을 가짐 따라서 "모든것의 원인(A)"가 존재함 A는...
-
존재하는 모든것은 원인을 가진다 그럼 "모든것의 원인" 이 존재하고, 모든것의...
-
연논 고사장 0
연논 쓰신분들 고사장 확인하시고 수험표 미리 뽑으세여...
-
제가 지금까지 한게 마더텅 다회독밖에 없는데… 뭘 풀어야할까요? 수특오늘 처음...
-
시립대 조기발표 3
혹시 시립대도 연세대처럼 논술 합격자 조기발표 하나요?
-
고2인데 뒤 늦게 정신차려서 인서울 가고 싶은데 내신이 7~9등급이에요. 논술 하려...
-
검정고시 치면 논술쓸때 불이익이 있나요?? 내신반영은 어떻게 되는건가요ㅠㅠ
-
연논 6
연논 입실시간이 한시간 전인가요..? 제가 군인이라 오전 7시 수원에서...
-
ㅈㄱㄴ 언매 미적 영 사문 지1 이고 내신 cc입니다..
-
홍대 인문논술 7
자율전공학부인데 두 세 개 감점 각인거 같습니다… 합격 가능할까요..? 최저는 맞출...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?