공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시발 좆됐다
-
사람은 결국 모두 혼자고 아무리 가까이 붙어 있어도 하나는 될 수 없으니까......
-
확통 전범위인가요?
-
오랜만에 이륙하는구만
-
https://orbi.kr/00072650760/pc%EB%B0%A9%EC%97%9...
-
5모 6
국어 1컷 72 수학 1컷 71 영어 1등급 0.03퍼 물1 1컷 34 화1 1컷...
-
누구? 메인글 뭐노
-
전 칼럼 보이면 그게 도움이 되던 안되던 좋아요 누름 4
열심히 썼는데 이륙 안되면 슬플꺼아니야..
-
벌써일년 4
-
학교마다 다른가
-
그 날도 오늘처럼 꽃샘추위가 기승을 부리던 날이었지. 'CAU' 야무지게 박힌...
-
-
ㅇㄱㅈㅉㅇㅇ?
-
흠.
-
허허…
-
저는 ADHD라는 지병이 있고 아직 약 안정화가 안 돼서 브레인포그온건데 왜그게핑계죠 ㅈㄴ우울
-
제주도에 사는데 나 만나러 비행기타고 와줄사람
-
드릴마렵네
-
------------------(기만 방지 선)-------------------...
-
마더텅이랑 병행을 해야하나요?아님 그냥 그 문제집만 풀어도 될까요?양이 되게 많아서...
-
오 수능1112로 교대를? 교대에 사명감이 있었나 뭐 그런갑다 치자 근데 8년차라고...
-
그래도 아에 발상조차 하지 못한 채 틀린 것보단 나으니 성장 가능성이 다분하네,...
-
잇올 홍보대사 3
이정도면 장학금 줘라
-
수특 난이도랑 비슷한가요???? 쉬운거 먼저 풀고싶은뎅
-
바람을 세로질러 0
날아오르는기분
-
둘 중에 무슨 문제가 더 쉽나요?
-
공통25 + 선택미적분5 체제여서 선택미적분 난이도 올릴 이유가 없었고 공통 수2...
-
이다지 이미지 1
솔직히 자매라고 해도 믿을 듯 둘이 닮앗는데 이름도 비슷함
-
건강 이슈 해결 완료
-
국어랑 화학 하러간다
-
왜이러지ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ 원래 주말에 10시간씩 공부했는데ㅡ요즘엔 2시간도ㅜ겨우채움
-
생2 적합성 테스트용 기출 변형 문제 이게 원본 문제 220911...
-
고3 학종 1
제가 1학년 때부터 뇌과학에 관심을 가지고 2학년 때 뇌과학 관련해서 탐구를...
-
토요일 저녁 11시
-
오르비에서 해소좀 해볼까 ㅎㅎ
-
가형 노인네 특 7
지금 수학기준 선택미적분만 못하는 경우 꽤 있음 이유: 늙어서 계산이 안됨
-
트러스 후기 3
많이 쉬워요 수학 좀 한다하는 사람이 사면 돈 아까울 듯합니다
-
메시지엔 반박 못 하고 메신저 인신 공격만 일삼는 오르비언들이 그저 한심하구나....
-
사문런 시간부족 4
사문으로 도망왔는데 1단원 기출 푸는데 양질적연구랑 질적연구 예시 상황 문제에서...
-
-
아오 병신새끼
-
시대인재 리모델링이나 25서바 주요문항만 수록해둔 교재 같은거
-
자리가 비엇군 8
가석방은 없던것으루..
-
지역인재 메디컬 0
부산권 지역인재가 가능한데 국어 수학 성적을 올려야 해서 과탐보다는 사탐을 하는 게...
-
어휘 끝 수능편에 있는건 거의 다 외웠슺니다.(3~4회독 한 듯) 하이퍼까지는...
-
야스야스! 2
제목이 저따군데 왜 들어옴
-
개 시발 니 풀이 틀렸다고 열 번은 처말한 거 같은데 계속 병신같은 나누기 하네 시발
-
수학 96인줄 알았는데...
-
우리가 누구~?
-
누구 차단을 풀어볼까 19
가석방 시간이다
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?