공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㄹㅇ….
-
하.
-
이번에 2~3바퀴정도는 돌겠죠? 129점 초 이상이면 합격권일까요 불안하네요...
-
마타아시타 6
좋은밤!
-
제 지금 상황에서 만점권 성적까지 올리려면 뭐가 제일 베스트일까요? 23수능 백분위...
-
수학표점으로 대학갈수있었던 때 국어 3등급으로도 서울대를 갈수있었던때(국어 표점...
-
약대가려면… 13
한국사 7문제 이상 국어 10문제 이상 영어 5문제 이상 수학 1문제 화학 1문제...
-
최초합 적어도 추합 가능할까요? 친척들한테 붙는다고 말해도 될런지 모르겠습니다 발뻗잠해도 될까요?
-
난 아빠딸한테 10만원 줬는데 다들 줬음?
-
나혼렙의 성진우(최종장)랑 주술회전의 더위사냥이랑 싸우면 13
누가 이길까요
-
여러분때문에 눈은 안건들기로했어용
-
과 머리에 근육만 있을거 같았지만 거의 완성형 캐릭터인 놈
-
궁금해요
-
-
고해성사 6
토요일 아침에 씻고 지금까지 안씻었음뇨 토아~현재 이따 씻어야지
-
난이도는 비슷하지 않나요? 므ㅓ가 더 나으려나
-
근데 내가하면 75개 경매인가
-
과외 어디서 구하지 23
여기서 구할까 손들어봐
-
대학 다니면서
-
어느 순간 안팔리기 시작한다...
-
수학 노베에서 개념공부하묜 점수 확뛰잖음 내가 국어 노벤데 공부하면 수학처럼...
-
어이가없네 시발
-
히히
-
귀엽죠
-
악마임?
-
덕코 팔아버릴까 7
875만덕
-
N수생입니다 독재중이며 현재 공부 시간 분배를 국어 3시간 수학 7시간...
-
헤으응 강철공장 서방님
-
참고로 그 티투 감독이 바로 본인 갱맘이다
-
엄청 얇은데 등록금보태라고 주시더라 할머니가 ㄹㅇ 만졌을때 한장임 근데 실루엣이...
-
시간 안에 다 읽고 풀리시나요? 3분, 1분 30초...이렇게 시간재라는 대로 재고...
-
하... 0
레어...개같이...물렸네 크아아아ㅏ아아아아ㅏ아아아아아ㅏㄱ
-
충북대 의대 어떻게 생각하시나요? 미니의대에서 증원이 너무 많이된 케이스이기도 하고...
-
다가가기 직전에 남친이 튀어나와서 사레레 도와줌
-
왜 아직도 안하는거여 사실 조기발표 안한 이 대학이 밉긴 한데..
-
뉴런 책 꼭 사야됨? 10
25수능 미적 100점인데 그 동안 동네 학원에서 주던 문제만 풀었어서 인강은...
-
헬스장 예쁜여자 특징 12
레깅스+헤드셋+바람막이+푹눌러쓴모자 ㄹㅇ; 실패할수가없는조합
-
일본가고싶다 8
ㄹㅇ
-
수학이랑 바뀐 거 아닌가; 2.4-2.7 학교 나가서 그때 끝낼랬는데 하루종일...
-
서폿이 후픽 안준다고 서폿 픽 빼앗고 엄한 미드 와서 Cs에 강타 쓰고 있네
-
줄어든거 같아도 관심없음?
-
국어공부만 해야겠다 헤헤헤헤헤헤ㅔ
-
겨울방학 때 시발점을 시작했다면
-
여붕이 남친구함 29
헤네시스에서 기다림..
-
ㅈ반고 특 2
심화탐구=교과서 베끼기이나무위키 복붙하고 인공지능 넣었다고 이제 빅데이터만 넣으면 된다고 뿌듯해함
-
엉망징창 갈취하고 싶음 그래서 스스로 갈취함
-
전0
-
오늘의 야식 9
야식은 야한 식사의 줄임말이 아니래요
-
수능보다 좀더 높반 갈수 있을거같아서 넣으려는데 3합6기준에 3합3인데 6,9모로...
-
수능 백분위어느정도 나어셧나용
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?