공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아 과제하기싫다 4
교양 필수 채우겠다고 아무거나 잡지 마십쇼...
-
낄 자리가 없음
-
10년 넘게 참아왔는데 군대 다녀오고 나서도 똑같이 이러고 있으면 나는 어떻게 해야 하는거야,,,
-
국어 1-2 수학 4-5 영어 3 사탐 1-2 입니다. 염치없지만 연대 목표 로...
-
푸시스테이스온마마인드
-
1. 존댓말 2. 가끔 말끝마다 ! 붙이기 3. 비속어 안쓰기 4. 상스러운 말...
-
지금까지도 컨구매 창 안닫음 이게 뭔뜻이면 1회씩만 판다면 그때 구매 못한 컨을...
-
팔이 너무 저려 4
으아ㅏㄱ 우
-
이미지 T 세젤쉬+미친기분후-----> 한석원T알텍으로 넘어가도 되나요?? 1
계속 이미지t 갈지 한석원t로 갈지 고민입니다..ㅠㅠ
-
귀칼보다 이게 더 재밌네
-
나 김승리 듣는데 문제풀고 바로 영상 봐도 되는거 맞냐?분석되는 느낌이 없눈데 방법좀 알려줘
-
일 그만 잡을거임 이제..
-
-
3화까지 봤는데 나름 잔잔해서 볼맛은 나는데 스토리 진행이 안되서 이거 후반가도 재밌음?
-
잘자라 2
나도 잔다
-
어떰?
-
아니면 거의 다 진짜 휴대폰 안보고 사는건가... 휴대폰을 안쓰는건 좋은데 정보와...
-
갑자기 Botzi더락이 보고싶어지네요
-
저격합니다 10
사람 프사보고 x알이 뭐에요 x알이
-
현재 서울대 비상경 사회대 재학중이고 2025 9모랑 수능 둘다 미적분 원점수...
-
현정훈 현강 0
남여 비율 어느정도임?
-
롤라 뒤에서 노래하는 엔젤 1정도 노래 몬하는데 개재밌어보여서 하고싶어요
-
가슴이 웅장해지네요
-
역학 기출 2번 돌렸는데 3모 때 하나도 안풀리고 머리가 멍해짐.... 그래서 지구를 하기로 함
-
가성비 떨어지는 큐브 하시지 마시고 저한테 오세요.. 최소 5000은 드리겠습니다....
-
해명합니다. 6
미용실 갈 때마다 머리숱 많다는 소리 듣습니다.
-
ㅇㅇ https://orbi.kr/00072620922
-
나 논술안해봄
-
학고반수 하려는데 지금 계속 학교 안가는중인데 집으로 언제 우편 오나요 1학기가 끝나고 거는건가요?
-
아가 자야지 0
ㅋㅋ
-
세 과목이 묘하게 흐름이 비슷함 선택자 수 각각 영역에서 꼴찌 기출이 중요함(어차피...
-
고지자기 개그튼룐
-
맛이 달라진 것 같음
-
이거 이제 그냥 쓰면 손 베일거같은데
-
무모한 도전이었던거같아..
-
솔텍n제 0
솔텍 할거면 필수임? 아직 기출 못끝내서 기출하고 솔텍 본교재만 하려고 하는데 ㄱㅊ?
-
의욕이 뚝 떨어진다…. 고2때 처음으로 준킬러 문제 풀고 이게 뭐냐는 느낌을 그대로...
-
지금 시즌은 볼사람이 없겠죠? 전에는 많이 본거같은데
-
여긴 아직 안 달라졌구나,,
-
아무리 눌러도 안 나와서 옮겨 담을라하는데 ㄹㅇ 마땅한데가 없음....반찬통?
-
-
코어모어 4권 2만원 판매중인데 얼마까지 내려야함 저거 무겁고 짐이라 치워야함
-
남자얘들에게도 인기가 많았음
-
유튜브 출연하신분 www.youtube.com/watch?v=kPX7JkWUjDQ
-
엄마(이쁘고 동안)+아빠(잘생김) = 나(꼴등 정자의 유쾌한 반란)
-
1. 대충 빵댕이 공통접선인거 같아서 풀었는데 아직 뭐가 뭔질 모르겠어요ㅠㅠ or...
-
한 번도 실망해본적이 없음
-
기하시발점(쎈,시발점wb,기생집23점)완료+기출 6평전까지 하면 충분하나요?...
-
배불러 0
아 배불러
-
모교 거서 신청할건데 모바일 민증도 되나요... 기숙사에 두고와서.. 그리고...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?