공리를 부정해도 무모순임
게시글 주소: https://i9.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아니 잠만요 님들아 11
잇올 옆 비상계단으로 남녀가 계속 왔다갔다하고 같이 들어오는게 쉬는시간마다 키스하는거였냐?
-
ㅇㅈㅎㅈㅅㅇ 2
지금 못 보긴 함
-
전부 언매로 품 제일 처음으로 아무것도 모른 채로 2024학년도 수능 풀었고 15분...
-
중시경건 외동홍 10
했던얘기 자꾸 떼쓰는거같긴한데 진짜 사람들 나중에 다 이렇게 생각하는거...
-
전 개인적으로 30번까지 돌았으면 좋겠어요. 단치 단국치 단국대 치대
-
재종 염색 222 37
예약함. 이런 나 정말 P같다.
-
첫키스 7
여친이랑 첫키스할때 물어보고함 아니면 그냥 분위기타고 함?
-
ㅇㅈ메타 해주샘 20
님 선이란 말 ㄴㄴ
-
대 야미~~
-
진정한 행복을 위해서는 남들과의 비교가 아닌 자신과의 비교가 필요한 것 같아요 전...
-
이대로 킵 고잉 하자
-
아까 이런 글 올렸던 학생인데요 고속이랑 크럭스 테이블로 엄밀하게 계산하고 3%...
-
재종 염색 20
상관없죠. 벌점맥일거야 어쩔꺼야.
-
두리번두리번
-
단답형으로 바꾸고 가능한 a9의 값을 모두 찾아서 다 더하라고 했으면 진지하게...
-
요즘세상 2
무료과외도있네요 ㄷㄷ
-
이별은 3개월 가더라 10
ㅇㅇ... 미친듯이 아프다가도 3개월 지나면 추억이 됨
-
나만궁금해하는거같음 ㅠㅠ 나까지안되나 ㄹㅇ
-
무료하다 13
사갈사람 구해요
-
범바오 수1 5
범바오 수1 24강 짜린데 21강까지 사인코사인인건 뭐임 수열은 3강컷인건가
-
강대n제 질럿다 2
-
롱패딩 장점 12
안에 과자 넣으면 고정됨
-
이 사람 말고 다른 사람 못만날거같고 그래? ㄹㅇ 카리나가 와도 안바뀔거같은데
-
ㅇㅇ
-
이게
-
상상)))님이 원하는 년도로 돌아갈수 있으면 언제로 돌아감? 56
단,코인,주식,복권 등등 돈과관련된 것 확인 불가능 딱 특정 년도로 돌아갈수있음...
-
의외로 중국인의 19퍼는 기독교인임 기독교인은 천주교 개신교를 포함하는 큰 틀이고...
-
ㅈㄴ 후회중 그때 내가 뭐라고 사겼으면 성격 잘맞고 착해서 지금까지 만낫을듯.....
-
100점인줄 알았는데 22틀림 아직도 오답은 안 해서 왜 틀린지는 모름
-
주변에 있다는건 큰 행운인듯 그래서 난 행운아야
-
“할머니 나 배고파 죽을거 같아요 밥 좀 주세요” 바로 갈비 ON
-
서울캠 의대는 없는줄..! 오..
-
시간빠르다....
-
맞나요?
-
시발점에서 뉴런으로 가기 전 문제집 어떤게 좋을까요 1
시발점 인강 1회독 후 책 2회독 시작하며 시발점 전문항 다시 풀면서 유형서나...
-
짝사랑은 너무 아프다 25
5년넘게 짝사랑중… 왜 요즘은 연락 안오니 누구 생겼니
-
튀김가루 사오기와 반죽 섞기 퀘스트를 완료하고 전 먹자
-
이게 옯창이지 3
펑
-
스펙평가좀 29
키 2cm 몸무게 90kg 원세대 의류학과 저녁 먹는중 뭐먹는진 비밀임 코딩할 예정 평가좀
-
독서토론대회는 하면서 왜 수학경시대회는 안함? 다양하게 해야하는거 아닌가 건국대...
-
이미 마음가짐은 외대 장학생
-
이별 극복하는 방법좀 19
얼마전 헤어졌는데 너무 슬프고 마음 아파서 공부가 손에도 안잡히는데 진짜 극복하는...
-
해도 후회 안 해도 후회라면 해보는 게 나을 수도...?
-
떽띠땐뜨 0
-
경제 vs 경영 2
Cpa 할거면 경영이 낫죠??
-
과외 갈 때 ㅈㄴ 꾸미고 가는중 ㅋㅋㅋㅋㅋㅋ...
-
쪽지하세요 4
-
그냥 물어본건데 ㅋㅋㅋ 전 113나와요.... 저런 사람 실제로 본적 있어서 ㅋㅋ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?