공리를 부정해도 무모순임
게시글 주소: https://i.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
헤헤 4
-
학교에 대학 입시 책자 오면 하나하나 읽어 본 다음 스티커 찾기 서강대라던가...
-
인서울 대학 0
인서울 주요 대학은 표점으로 반영 하나요? 그럼 표점 높은게 짱인건가요? (탐구...
-
예비고1 때 아주 뼈저리게 느낌뇨
-
수학 과외, 누가 더 구하기 수월하나요?
-
뭐하는데고
-
채팅으로 ㄱㄱ 진짜 있는 세종대왕 푸앙이 키링임뇨... 팔기뭐해서 양도하려구요 중대...
-
음식값 최소 만원 배달비 거의 3천
-
프리렌은 가끔 어그로를 끌어요
-
형 멋있다 잘생겼어 이소리 많이 들었는데 또래 남자애들이나 20대 친구들은 본인...
-
혹시 내가 잘못한 게 있다면 한 번 더 내게 기회를 준다면 내가 더 노력할게 네가...
-
컴잘알 분들 9
저기 운영체제 free dos랑 win11 home/pro 차이가 뭔가요? Free...
-
화미영물1지1 26575 현역 성적입니다 기숙 고민했었고 수만휘 이강 러셀 세군데...
-
뭐라도 해야하는데 학원 안가고 하고싶은데 감이 안 잡히네... 걍 미드나 테드?...
-
고3 기숙사 살 때 아무도 터치를 안 하니까 밤새 오르비 유튜브 게임 반복했음 이게...
-
내가 집 근처 국립대 갈 줄 알았음 중학교 석차 80/260
-
방금 시켯는데 이거 밥이랑 잘 어울리나 맛있음?첨이라
-
중앙대 푸앙이 납치중.
-
너무 야하잖음 성기 훈이라니 이것도 감독이 노렸나
-
발표때까지 안들어오나요? 시립대임
-
캬르릉 7
-
뭔가 과 이미지가 ㅈ밥느낌남
-
난 어렸을 때 4
명문대생들이 키배 뜨고 커뮤한다는 게 말이 안 된다고 생각했어요 배울 만큼 배운...
-
일단 3평까지 배기범 커리만 빡쎄게 하려는데 커리만 따라 간다는 전제하에 안정...
-
하루에 국어 몇시간 하는게 좋을까요? 수학만 8시간 하고 사탐런 쳐서 생윤,사문도...
-
25수능 백분위 화작 미적 영어 생명 지구 95 99 1 100 98 이였는데...
-
중국어 청해가 하나도 안됨...
-
https://xurl.es/4stnb
-
벌써 기말이네 5
하.. 왜 족보에 안내던거 내냐고..
-
화통사탐으로 연높공 합격하는 점수가 어느정도 일지 궁금함
-
제가 재수할려고 작년 1학년 1학기 3월 초에 대학교를 자퇴했습니다 재수를 망해서...
-
알바좃긑다 1
세상이밉다
-
ㅈㄱㄴ
-
담임쌤이랑 2시간은 상담함;;
-
ㄱㄱ
-
[영어] 노베이스(4↓)가 3월까지 끝내야 할 공부 0
안녕하세요. 노베 전문 강사 겸, 비대면 전문 강사 Good day...
-
작년에 메가패스 끊어서 국어 2등급 후반(본인은 3등급이라고 생각) 맞았습니다 올해...
-
한번 미끄러지긴했지만
-
영어 뭐해야됨? 0
2506 90 2509 84 2511 90인데 학원에서 영어좀 해라는데(1월 영어...
-
그냥 궁금해서 물어보는거 ㅇㅇ 남자들만 투표해라
-
그래도 내 가슴은 서울대였음 낭만 못잃어
-
솔직히 대학가서 여러가지 해보면서 살고싶어서 과는 어디던 상관없는데 솔직히 공대가...
-
예를 들어 1번 241122 2번 250615 이런 식으로 원하는 기출들 구성해서...
-
✨가천대학교 한의예과 신입생을 찾습니다!✨ 가천대학교 한의예과 25학번 신입생...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?