공리를 부정해도 무모순임
게시글 주소: https://wwww.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇㅅㅇ
-
내신 5점대에 모고 전교 120등하던형이 4수해서 의대간 사례있음
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
대부분이 느그들 닌텐도하고 티비볼때 책읽던애들임 ㅋㅋ
-
나무위키에서 국적이 중국이 아니라 홍콩이라 나오네 왜지?
-
물1 내용 들어놓아야 좋을까요...? 현역 때 수능으로 쳤다가 1년간 놨는데...
-
0타 강사님 반응이 궁금함
-
밥친구 goat
-
4수해서 숭실대 목표로 하는 놈 부모님은 제발 숭실대라도 가면 100만원 준다고...
-
엥..ㅋㅋㅋㅋㅋ
-
https://youtube.com/shorts/6Dx8u-r_TZ0?si=VjJRB...
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
-
페x티바 사랑해 1
-
건대 전컴or 중대 경제로 갈듯
-
이거 신입생 대상으로 하는 시험이던데 이거 보는 학교도 있고 안 보는 학교도 있던데...
-
부왓쪼르륵 22
따끈모락모락 쩝쩝
-
개꿀잼이뇨
-
드디어하원 3
비염약이 생각보다 많이 졸림 잠을 더 충분히 자야겠음
-
추ㅐㄹ비 12
40도양주마시거잔득취해버렷
-
오늘도 조용하네 5
내 일기장이 되었구나
-
생각보다 잘해주시네.. 만족스러워요
-
첫알바 어디가 ㄱㅊ? 15
돈이 부족하거나 알바해야만 하는 당위성이 있는 건 아닌데 더 늦기전에 경험해보는...
-
수분감 0
수분감은 왜 저평가받는거임? 뉴런들을사람은 수분감듣는게 더 효율적인게맞지않음?
-
쿵푸허슬 1
개재밌네 몇번을 다시봐도 재밌군
-
뭐가 더 쉽나요?
-
하루에 1gb 정도면 충분하겠죠?
-
와 공부 ㅈㄴ 잘했네? < 아님 오 공부 좀 했네? < 아님 이런 소리 하는 애들도...
-
그냥 순수 ㅂㅅ짓으로 환급 못받아서 날리는데 어캄
-
성형하고싶다 0
진심 눈코입 얼굴형 싹다뒤엎고싶음
-
현실에서 고등학교나 대학교에서 동성친구끼리 니정도면 ㅎㅌㅊ임 개빻음 이러고...
-
보상 받을지말지 때문인게 큰듯 그냥 1등급 나오는애들한테 공부하는건 어느정도 성적이...
-
빰빰빠바빰 2
즐거운 고연전 날에
-
나중에 막 코 들리면 어캄
-
제가 지금 모집인원의 딱 50%인 예비 번호를 받았는데 과거 3개년 모두 충원율이...
-
사람마다 최대치가 다르고(재능) 그 속에서 이제 노력으로 정해지는 듯 A는 태어났을...
-
옛날에 만든 거라 불연속 함수 적분 교과과정 안 들어가는 거 모르고 만듦.<--...
-
집에서 가장 가까운 관독이 여긴데(대중교통 20) 관리 빡센가요
-
메가패스 성적입력안해서 돈 환급 못받는 미친놈이접니다 어머니께서 알바비로 메꾸라네요
-
오늘 학생 둘이 저녁시간때 와서 중대 합격한거 축하한다 해서 사실 성대도 이미 합격...
-
시대 장학금 4
백분위 합 282 인데 이정도면 장학금 한푼도 못받음?
-
자금이좀딸리지만 걍살까..
-
흠냐 그리고 단원별 융합 문제는 어디로 분류해야할지 난감스함
-
-
https://xurl.es/4stnb
-
대학백과 여기에 2
답변 남겨보셨나요? 대학 다녀보신 분들
-
오히려 커뮤가 높게 쳐주는듯 ㅋㅋ 커뮤 3수 중경외시면 그래도 괜찮다고 봐요<...
-
배가너무아프긔 집까지 15분인데 그냥텐레포트하고싶다
-
-
면허땄다 12
만세
-
( 정부의 비과학적 졸속 의대증원 2000명증원이 증발시킨 건보 재정 2.9조원 ) 2
보건복지부 장관 조규홍 보건복지부 차관 박민수 교육부 장관 이주호 ... 등에게...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?