공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그래도 2022년도때 잠시 좋아했던아이돌이였는데 여론이 너무 안좋은걸 보니 여러모로...
-
-
언오피셜보이 4
-
밖에 비옴? 0
우산 안챙겨왔는데 ㅡㅡ
-
비가 온다고? 0
이 뭔..
-
헬스장튀김
-
아니 왜케 추움 0
얼어죽갯네
-
ebs봐야 성적이 오른다는건 진짜 개소리임 그 유류분 ebs 독서 한문장 찾아내서...
-
30분동안 혼코노 가기 16
뭐부르지
-
귀찮아서 울었음 그냥 약속 드랍하고 집에 있고싶어.
-
-
용이 얼면 2
용언 인듯
-
연습할 때는 비문학 한 문장 한 문장 다 이해하고 넘어가서 문제 푸려고 하는데...
-
흰 셔츠랑 검정 블레이저 오랜만에 약속이 있는 날이에요
-
때론 날 무심하게 내팽게 친 채 불안함이란 벌을 내려줘그럴 때면 난 길을 잃은...
-
인강 추천 부탁드립니다. 약한 소재만 부분적으로 들을 예정
-
국밥의 민족
-
이런게 있었네 8
답장 보낸 기억도 안나는데 치맨가
-
-
내신인데 미적분보다 확통 주관식이 진짜 더 어려움...
-
아 이럴려고 내가 66만원 x4 줬냐고
-
돈까스 시킴 2
저번에 제로콜라 빼고 줬는데 다시 얘기하니까 음료수 두 개 준 곳에서
-
형님들 생윤 작 6,9모 다 1이였는데 수능날 3 맞은 원인이 뭘까요?? 2
기출 분석 부족인가요,,,?
-
주식 망했네 3
내돈
-
37살 차이임
-
닉네임 어때요 2
잠시 휴르비 일시정지
-
지구멸망하네
-
1. 전제가 거짓이면->결론이 거짓이다 이명제는 반례가 있어서 거짓임 1의 반례는...
-
소개좀
-
함박눈 내리는데 ㄹㅇ 지구 멸망하는거냐?
-
https://orbi.kr/00072631923 이게 맞는 논증인지 알려주십시오
-
ㄱㄱ
-
근들갑 ㄴㄴ 애니랑 현실이랑 구분하라고? 나한텐 이게 현실이야.
-
흐흐흐 영화관 도착
-
날씨지랄맞네 0
기분 타나
-
O⁵ 5º O에 강세붙이고 5는 약하게 발음함? 아니면 둘다 같은 발음함?
-
다 죽어라 그냥 11
3점 위로 다 죽어
-
작년 7월 9일 시작 → 9평 백분위 89 → 수능 백분위 99입니다 근데 큰...
-
끄그극ㄱ
-
3일 뒤면 4월인데 무슨 함박눈이 펄펄 내리네 ㅋㅋㅋ 더 웃긴건 며칠 전만 해도...
-
-
1. 전제가 거짓이면 결론이 거짓이다 이명제는 반례가 있어서 거짓임 1의 반례는...
-
점메추좀 6
어제 저녁 안 먹고 자서 배곺아
-
-
입 열면 적으로 간주하겠음 (쪽지로 나 7.5점인데 독해 망했어 등등)
-
6점 크아악 2
-
기만러들 때문에 10
짜증나
-
눈개마니오네 2
3월 말인데 이게 가능하다구?
-
사정상 재수를 못 하게 되어서 양도해요 쪽지로 생각하시는 가격도 제시해주세요!
-
사탐런 질문 2트 11
1월 사문공부 시작해서 3모 1등급 했다에여. 근데 내신으로도 한 지구 ㅈ박아서...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?