공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
로봇인가
-
내 딸래미 1
지쳐서 나가떨어짐 새끼 ㅋㅋ
-
시대컨 0
과탐 브릿지랑 트러스 하실건가요???
-
-
이거 가격 잘못올라온거지..? 작년에는 37000원이였는데 뭐가 추가되나..?
-
햇볕이 강력
-
정치얘기할거면 0
합리적이게만 하면됨 문제는 중간에 화가 안나기가 쉽지 않음 정치 논객들도 토론하면서...
-
처리속도 ㅇㅈ 1
나이 설정을 잘못함
-
와...
-
중2때 수학학원 하나 처음 다닌거면 학군지 제외해도 엄청 늦은거 맞는데
-
아 잡담 태그만 하면 원래 모아보기에 안 보이는구나 1
모밴인 줄ㅋㅋ
-
응원 6시간 ㅋㅋㅋㅋㅋㅋㅋ 아.
-
같이 다니는 애 눈크고 얼굴짧고 볼통통 키작고 하튼 개귀요운데 내친구 남자애중에...
-
호에엥
-
평가원 #~#
-
평일 계획이고 올 독학이라 매일 학교 끝나고 독서실가요. 5시에 학교 끝나고...
-
급함
-
매운토크 좀 해볼까 22
새내기 때 연고대 합응 하러 갈때 룸메가 “고대 잡으러 가자” 라고 해서 잘못들어서...
-
현정훈 러쉬 0
지금 배기범 3순환 거의끝나가는데 시대 현정훈 쌤 강의를 듣고싶어요 고3이고 보니까...
-
아직 잠들면 감기걸릴 것 같은데... 그냥 잠깐 눈감고 쉬기는 딱 좋은듯...
-
솔직히 수학은 현우진, 영어는 이명학이고 국어는 누구 같아요?
-
학교기숙사는 아니고 다른 기숙사인데 김치전 반죽 흥건한 채로 나와서 다 버림
-
진짜 모름, 해본 적 없음, 갈드컵 열리면 팝콘 뜯을 거임
-
너무 덥다 0
여름옷 슬슬 꺼내야할듯
-
-
방역방역
-
올해 생윤사문 하려고 하는데 인강 개념 커리 누구탈까요?? 작년에 윤성훈으로 사문...
-
케이팝 근데 노래는 좋은거 많더라
-
누가 더 인생 망했는지 내기함
-
펜홀더 복귀 0
섹스
-
월급루팡 0
오르비하면서 돈 벌기
-
젭알
-
전문대간 고2친구가 어른들의 돌림힘에 어질어질하다네요 0
매운맛토크에 순수한 고딩이 정신을못차리는중이던데
-
영장청구를 서부지법에 하더니만 그것때문에 석방됐네 ㅋㅋㅋㄱㅋ 장애인들
-
없나요???
-
[속보] 경찰, 탄핵선고일 '갑호비상' 발령한다…경찰력 100% 동원 1
경찰이 윤석열 대통령에 대한 탄핵 심판 선고일을 대비해 전국적으로 '갑호비상'을...
-
김범준의 현강 커리를 보면 스타팅 블록 -> 더 허들링 -> 러너스 하이(파이널)...
-
나만 도파민중독인가 맨날 형누나들이 매운토크해서 귀틀막하는데 저도 그 토크에...
-
야구보고싶다 15
야구보실분?
-
돈 벌러 가자 8
석촌호수로 데이트 가고 싶은 날씨네
-
마싯는 음료 ㅊㅊ 13
마시면서 개 산책 시킬거임 집앞에 카페 거의 다 있음
-
니게tv 개국 141일차
-
중앙대 첨소공 1
안성캠이던데 입결은 서울이랑 비슷한가요? 경희대 공대처럼 그런가해서 여쭤봅니다..!
-
먹을약을안먹으면먹을약을안먹는것이고먹으면안되는약을먹으면먹으면안되는약을먹은것이고아이고신동...
-
이게 맞나?
-
교수님께서 그렇게 원하신다면 째드리죠
-
enfp였던 과거의나 어떻게 첨보는인간이랑 당일날 약속잡아서 밥먹고다닌거냐 지금은...
-
내용 많나요? 수분감 스텝1 다풀어가는데 슬슬 시작해야되나 고2 모고 풀엇을때...
-
공약) 유니폼 1명 그냥 드립니다 (조건부 댓글 추첨) 8
내일 이후로 2달 안에 오르비 접속해서 댓글 하나라도 달면 한명 골라서 원하는 팀...
-
작수 미적 백분위 87떴는데 기출을 제대로 공부한 적이 없거든요 그래서 이번에 기출...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?