공리를 부정해도 무모순임
게시글 주소: https://old.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
약간 9번~13번 모여잇는 애 잇나요 진짜빠르게 쳐내는 연습하고싶은데
-
고 1/2모고랑 수능이랑 차이가 얼마나 있을까요? 11
차이 엄청 크다는데 어느정도인지 모르겠어서 현실적으로 어느정도인지 궁금합니다
-
본인 쇼메이커 좋아하지만 페이커, 쇼메이커는 잘 만들어진 판에서 예쁘고 맛있게 잘...
-
대학커뮤니티 노크에서 선발한 경희대 선배가 오르비에 있는 예비 경희대학생, 경희대...
-
들러요
-
설훌아님
-
재종 수업에서 일부 중요한 문제들 다루고 있긴 한데
-
징짜루
-
성적ㅇㅈ 글머리에 넣는 게 나을까요? 글 길어지는 거 같아서 고민이..
-
최선을 다하기
-
여친구함 12
이제 급하진 않고 그냥 여자면 괜찮은 것 같음 상시 모집 중이니 쪽지주세요
-
덕코펀딩받습니다 3
원하는거들어드려요
-
이긴한데 아침에 친척집 갔다가 방금왔는데 피곤해서 코코낸내할랍니다 연휴동안은...
-
이거봐
-
고려대가 되서 연세대 학생들을 주먹으로 이기고 싶었는데 타학교 사람들은 연고전 못끼겠지?
-
여행 사진 투척 29
-
오늘 수1복테도 1번틀리고 미적 복테도 1번틀림 작년보다도 퇴화했네 이게...
-
지금 ocn 1
날씨의 아이 하는군 다음은 스즈메의 문단속
-
성대문과반수생 ㅇㅈ 13
내년에 서연고 경제/경영학과 건물 어딘가에서 저 보면 인사해주세요
-
08들 07 재수생에 깔려 죽을 예정
-
수학모고 시간 거의 안 남기고 풂 효율성goat인듯 어차피 30분컷 100이나...
-
안녕하세요 수능을 망친 재수생입니다ㅠㅠ 오르비에서는 더욱 택도 없는 점수를...
-
제타 이기나요~ 옵치도 밴픽 생기니까 좀 더 재밌음요
-
추합도 못 받고 탈락이죠?
-
누가봐도 실수잖아 30번 멋지게 풀고 21 22도 멋지게 풀었는데 21을...
-
평가원 시험풀면 한시간씩 남기고 그럴려나
-
반대로 해버림
-
안녕하세요 ㅠㅠ 예비고1입니다 대치 영어학원 중1때부터 다니다가 중3중간끝나고...
-
맞음? 대충 국수 130대 탐구 70 표점 400이면 거의 수능 만점인거?
-
일반적으론 그냥 의>치>한>약>수 따라가는 느낌인데 다른 메디컬과는 다르게 약대만...
-
기출 끝내고 5
하프모만 실모만 하면 안 좋음? N제 무조건 껴야됨?
-
좋아하는 분이랑 어쩌다가 그걸로 릴스를 찍었는데 칠가이 캐릭터 볼 때마다 생각남...
-
?
-
에햐
-
레어삼 2
첼시챔우
-
더워 0
목욕을 하고나면 샤워실이 사우나가 된다
-
07정시러 도와주세요 12
고2때부터 정시공부 시작했고 국어 영어 노베입니다 공부계획 인강추천 같은것좀...
-
생각 속도랑 말 속도가 안 맞아서 발음 다 꼬이고 결국 상대방이 거의 못 알아들음....
-
설경가서 과외로 시드머니 벌어야지
-
07정시러 도와주세요 17
국어 영어 노베입니다 공부계획 인강추천 같은것좀 해주세요ㅠ 고2 마지막 모고...
-
연애하고싶다 12
동물귀달린 여고생 미소녀랑
-
갑자기 궁금해짐 걍 수특 마더텅 풀면서 혼자 문풀 스킬을 깨우치는거임?
-
내일 내려가야되는데 기차표 못 구했으면 어카냐?
-
알았었음 최저러라 탐구 아예 신경 안쓰고 대충 사탐런하는거 보면서 사탐이 꿀이구나...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?