공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
밴이 30개
-
쎈까지 병행하고있음요 ㅇㅇ 3모전까지 시발점 대수미적1확통 복습까지 꼼꼼히할려면...
-
생각보다 문제가 많이 어렵구나
-
일리 필수인가요??
-
군수생 달린다 13
고고
-
지원할걸그랬네..
-
컴퓨터 공학을 선택하는건 별로인가요ㅠ?
-
-
어제 안씻었는데 8
이제 시작해볼까
-
이번 겨울방학 특강 이후에 또 안하심..? 재종반으루 들가심??
-
으로 26 의대 되나요….? 자료를 아무리 뒤져봐도 안 나오네요 ㅠㅠ
-
부산상업고등학교 상경계열 최고 아웃풋 "대통령" 노무현입니다.
-
사법고시 있던 시절에 대학 졸업한 1차 합격자를 자교 3학년에 편입시켜서 학비나...
-
요새 왜 안보이지
-
지금 김동욱 일클 수강중인데 이번에 연필통 난이도가 좀 올라간거 같아서 연필통 쭉...
-
숲은 1ㄷ1인데
-
학생증 나오고 할 수 있나
-
-
언매+ 미적분+사탐( 세지 사문)으로 의대나 약대가려면 어케해야함??? 제발… 알려주세요..
-
ㅈㄱㄴ 본 적이 없어서 모름뇨
-
으흐흐 3
-
-
님들은 수1에 0
조합이나 경우의 수?(수열) 나오면 풂 아니면 넘김?? 예를들면 수학적 귀납법에서...
-
점공 1
한양대 공대이고 21명 뽑습니다 점공 많이 안들어와서 불안한데 이정도면 최초합으로...
-
최초합 발표일이 일단 경희대는 1/24 외대는 1/31 인데
-
저는 서울대와 아무 관련도 없고 그냥 갑자기 궁금해져서요 푸앙이나 고대 호랑이 연대...
-
과연 그럴까요? 내 노력만으로 이뤄낸 것들이라고 자부하던 것들은 누구에게는...
-
EJU 수학과목 0
잘 아시는 분 도움좀 ㅠ
-
교사 내려치기 0
좀 해주십쇼 꿀좀 빨자...
-
점공 순위 0
다군이고 10명 뽑는 과입니다. 앞 지원자 중 1순위이신 분이 15명 이상 있는데 가망 없을까요..
-
"난 신이 아니다" 라는 결론을 부정해도 무모순
-
한국지리vs생윤 둘다 노베면 뭐가 나을까요?
-
사탐 공대 0
과탐에서 사탐 런 생각중입니다.. 공대가 목푠데 1. 확통+사탐, 2....
-
지스트 정시 4
지스트식 추합이라도 가능한가요?? 국119 수137 영2 한1 물1 90(백분위) 화1 97 입니다
-
완료 3
암튼 성공
-
엉덩이를 만지다 3
Touch my ass
-
대한민국 최초의 고졸 대통령, 고졸 사시패스 부산상고의 자랑 " 노무현입니다. "
-
결론을 부정하면 무모순 따라서 난 사람니 아니다
-
4명 남았아요 쪽지주세요
-
장학금 받은 사람있어?
-
ㅇㅇ?
-
노베라서 그런가 더 어렵게 느껴지는것 같기도 진짜 딴곳으로 드랍할까 싶어도 꾹 참고 있습니다
-
탐구도 기출 한번 돌려야되나? 6모 21 이렇게 나오긴 했음
-
윤성훈쌤 솔직히 0
펭귄같으셔서 커여움
-
"여러분, 계엄은 범죄가 아닙니다"…尹 자필 편지 공개 [전문] 0
윤석열 대통령이 내란 수괴 등 혐의로 고위공직자범죄수사처(공수처)에 체포된 15일...
-
ㅋㅋ
-
거 사내들끼리 사귈 수도 있는거지;
-
논리 평가좀 2
전제가 참이면 결론이 참 대우명제는 결론이 거짓이면 전제가 거짓 전제안에 공리가...
-
1. 면접 건물 앞에서 사범대 선배들이 응원해주더라. 지원한 과 선배한테 핫팩...
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?