공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈㄱㄴ
-
마이케미컬로맨스.. 한창 중2병 도졋을때 광적으로 좋아함
-
쉬기로 했네요
-
파테가좋다 4
더이상의 팔로워는 받지않겠다.
-
제가 평소 학교 다닐때는 야자까지 해서 저녁9시가 되면 끝나고 바로 스카를 가서...
-
https://youtu.be/hbFE-eL-23A?si=G1BDTbjLFTHg3d4...
-
일상생활이 불가능해짐
-
넵
-
너무 적어요 (대충 우는짤)
-
. . . . . . 원신 짭 같은 느낌 ㅇㅇ...
-
-
단원별로 나눠저있어서 특정 단원을 집중적으로 조질수있는 n제의 장점도 없고 2,3점...
-
세상에 나보다 병신이 많은걸 알게 해줌 정치성향,성별,나이 관계없이
-
와......진짜
-
영국의 데이식스같은 느낌 ㅇㅇ..
-
타인과의 X교는 7
잘 안하는 편이에요....나는 소중하니까
-
3모 질문 19
이문제를 보고 공통접선을 어떻게 떠올릴수 있는거에요?
-
난 대성마이맥 19패스가 이렇게 좋은 건지 몰랐지.. 0
걍 진작 사놓을걸 에휴 지금 너무 비싸져서 월 회원권 이런 걸로라도 사서 강의 들어야겠네
-
타인과의 비교는 30
단기적으로 자존심을 채우기에는 매우 효율적인 수단이지만 결국 전부 열등감으로...
-
예쁘려나
-
키 183에 존잘에 의대생에 금수저에 군필에 착한 남자어때 4
나야! 쪽지줘~~
-
물1화1 표점 무려 152
-
큐?브 깔고 1
구경해야지
-
재수하는 비율 1
본인 8학군 출신인데 그냥 대학 안가는애들 : 지방대 : 잘간애 : 재수 비율이...
-
이신혁t는 유베용이라는 말이 있길래 겨울방학에는 엄영대t 수업을 듣고 지금...
-
ㅎㅇㅅ 7
둘이 초성 같은데 하는짓은 천지차이
-
직업 1
관제사 vs 교사 여러분의 선택은?
-
응 어짜피 고등학교는 4학년까지야~ 받아들이면 편해~
-
대학가면 3중1개는 오르비했던 여자임
-
학교왔는데 친구들보니까 걍 나보다 성적 높으면서 비틱질 하는 사람 으로밖에 안보임 죽고싶노
-
3모 때 32423 떴는데 5모 때 11111 받으려면 얼마나 열심히 해야 되나여
-
3모 12111나오고싶다~~~
-
나 빼고 단톡을 팠거나 나 빼고 다들 옯만추하거나 둘 다임
-
미적 28 자작 0
폐기품입니다 첫 정답자 1000덕이에요
-
우리학교쌤들이 젊고 이쁘신 편이긴 했는데 국룰아님??
-
-
중간고사로 족하잖아요 교수님
-
서로 관심 없는데 맞팔 계속 유지하는게 맞나 보통 팔취함?
-
과외쌤이 우울글쓰면 우리쌤최고야!!! 우땨땨 쌤엄청 훌륭한사람 저 쌤 없으면공부못함...
-
칸막이 있으면 ㄱㅊ은데 반투명 칸막이 같은 곳에서는 움직임이 다 보이거든요.. 근데...
-
종강마렵다 2
ㅋㅋ
-
2등급만 주구장창이고 1등급은 한번도 나와본적이 없음뇨
-
마킹땜에 수학 81점이 되어버려서 표점합 392라 빌보드 못듦(395점까지 빌보드)
-
경찰대는 수능커뮤에서 관심도가 현저하게 떨어지는거 같음 4
왜일까..
-
난 비상계단에서 여사친 ㄱㅅ 만질때 사람 지나간거..?
-
훈수 제발 환영합니다 강좌 선택에 도움을 주신 오르비언 분들 감사합니다
-
[속보] 중대본 “경북·경남 산불 주불 모두 진화” 1
[속보] 중대본 “경북·경남 산불 주불 모두 진화”
-
ㅇㅇ..
-
고2인데요... 3모에서 국어 84 (1컷 88, 2컷 78) 수학 84 (1컷...
-
구조가 똑같음 댓글로 누가 알려줬음
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?