공리를 부정해도 무모순임
게시글 주소: https://wwww.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
벌레 ㅈㄴ 싫음 5
그냥 순간 몸이 굳고 패닉 옴 극복불가능 극복한 사람 있음?
-
이거 꼭 해야해요? 책값 왤케 비쌈 그냥 개념 확인용같은데
-
그냥 국숭세단까지면 ok 너무 학벌을 많이 보고 싶지도 않기도하고....
-
연애하고 싶다 0
ㅏ
-
Z
-
삽 졸린데 8
애들 사이에서 못 자겟어
-
고2 모의고사때 쭉 1이었고 10월때 2등급(구차한 변명이지만 이때 1등급 비율이...
-
그냥 동문이랑 사귀는 게 깔끔할듯요 cc는 좀 아닌 것 같고 같은 사과대라면...?...
-
지금 노는거 조금씩 줄여서 대학 잘 가고 줄인거 수능 끝나고 순도 100퍼센트로 놀...
-
이거 떨어지면 1
하늘이 절 버렸다고 생각할게요..
-
매직키보드 실까 고민되는데…
-
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
마음에 들어요
-
-
궁금하네요
-
윤석열은 9수까지해서 사시패스를 했는데 조국은 사시패스도 안하고 설법 교수된거 ㅇㅇ
-
말안된다……
-
작년에 학원끝나고 걸어가고 있는데 길에서 사람보고 하수구에 뛰어드는 쥐봐서 충격먹었음
-
잠은 안 오네요
-
점공 업뎃완료 2
오늘 두명이나 들어왔네용 제발 최초합기원!!!
-
-
군필 03년생이고 이번에 휴학하고 공부하는데 수학개념을 많이 까먹어서 시발점부터...
-
롤케이크 맛있어 2
-
내일도 안좋으면 병원가야지..., 다들 굿밤되세요ㅜ
-
ㅅㅂ 팔만전자 되는 순간 다 팔아버린다
-
제2외국어 보는반이 분위기 좋다는 말도 있던데요
-
기차지나간당 6
부지런행
-
진심 트라우마 ㅜㅜ
-
히잉
-
개념강의가 가장 좋았고 판서좋아인간이라 더 잘 맞았나봐요 풀커리 탔고 수능날 아침에...
-
시ㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣㅣ발 ㅠㅠㅠㅠㅠㅠ
-
되찾아 오자꾸나 가보자 가보자~
-
근데 성적도 재밌어질거같아서 못하겠음
-
초딩인가 중딩때 인형뽑기 오락실 잠깐 유행하고 그뒤로 싹 사라졌는데 디시 우후죽순생김
-
군대 가면 생각보다 내 학벌이 나쁜 게 아니어서 놀랐네요. 1
지방 국립대 문과 출신이라 속된 말로 하위 10%일 줄 알았는데 군대에서는 이것도...
-
슬슬 합격발표일을 위한 마음의 준비나 해둬야겠군요 설날이 코앞인데 부디 어깨 펴고...
-
부진장강곤곤래 7
비트코인은 장강의 물결과 같이 언제나 도도하게 오른다
-
-
어우 기하가 재밌는데
-
고등수학 개념서 2
기본정석이랑 숨마쿰라우데 중에 어떤게 더 낫나요? 완전 노베고 처음 시작하는 거예요
-
잇올 대체공휴일 4
잇올 대체공휴일이나 임시공휴일에 자율등원인가요?
-
이대남들 다 그런거 아나요? 배운다면 어케 배우죠..?
-
이번에 듣보잡 샀는데 step3 뉴테이션 부분은 건너뛰고 1,2만 해도 상관없죠?...
-
국어 대학전공서적공부법으로1등급쟁취 영어 영강공부법으로1등급쟁취 수탐만 판다 ㅇㅇ
-
만화책도 책임? 2
그럼 나도 어릴때 책 많이 읽었지 그리스 로마 신화 칭기즈칸 삼국지 역사 와이책...
-
아니 그럼 n이 이미 붙은거 더 커져도 상관없으니까 대학만 올리면 되는거잖아? 오?
-
엘베 같이 탐 ㅎㅎㅎㅎㅎㅎ
-
부모님 피셜 졸업생중에 ceo도 많고 하다보니깐 동문회만 해도 기부받아서 돈이 엄청 많대요
-
연대 조발하라 7
조발하라 조발하라
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?