공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
요즘 오르비에도 자기 점수까고 "여기 돼요?" 하는애들 많음? 3
걔네들 덕분에 점수 표본 모아서 추합했었는데
-
ㅠㅠㅠ 왜 슬픈거죠
-
ㅂㅇㅇ랑은 저거보다 더 스윗하게 。◕‿◕。
-
???
-
상대방 글 말고 프로필 통해서도 보낼수 있다는데 어떻게 보내는건가요?
-
어그로성 제목이지만 놀랍게도 팩트랍니다 댄스스포츠 라는 교양을 들었어요 그치만...
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
쟤네들도 2월되면 떠나겠지 또 늙은이들만 남을거야 떼잉
-
시대인재부엉이인형도그래서산거고 금눈쇠올빼미 수리부엉이 흰부엉이 소쩍새 등등 뭐...
-
빅뱅 거짓말에서 8
넌 어딨나요 널 부르는 습관도 이부분 이상하게 기억에 남네
-
차라리 고대 공대를 선택하겠으 그것 말고도 인설약 붙으면 성불함 ㅂㅂ
-
사례가 이거 하나밖에 없긴 한데 남자한테도 저런 말투 씀요 진짜 ㄱㅇ같아보여요...?
-
ㅈㄱㄴ
-
컨설팅 좆구데기론 <- 이거 대치동에서 한 번 불어야됨 ㅇㅇ 5
누가 어디서 어떻게 시작된건진 모르겠는데 컨설팅이라는게 원래 씹스캠임 ㅇㅇ 원래...
-
카톡 5
나보다 빨리 읽는 사람 읎다 카톡 개 빨리 읽는다리 물론 여러곳에서 너무 한번에 오면 좀 느려짐
-
큐브 문제점 1
학생들이 1Q당 700원인 거 모르는 것 같음... 몇몇이 사람을 노무 부려먹는....
-
아니 저새끼들 왜 또 딮기 저주하러옴? -> ㄴㄴ 드디어 우리도 다시 용의...
-
어떤 미친놈이 내 레어 사가서 다시 빼와야함
-
예비고2에요 ㅠ
-
응
-
이거 진짜 눈 딱감고 구내염 2개 있는데 2번만 존나 고통스러우면 앞으로 안아픔??
-
수요가 없으려나
-
동기들의 특정을 피할 수 없어 너무무서워
-
왜이리 까이나 궁금하거 불쌍해서 올린거 뿐인데 댓글이 너무 달려서 당황했는데...
-
탈릅 때 내릴까요 말까요? 낼 조발하면 바로 탈릅인데
-
과에서 뭐배우는지 전혀 모르는 상태로 들어온사람 엄청 많음 보통 그런 케이스 중...
-
국잘수못들 모아놨으니까 그래도 할만하지않을까…?
-
오늘 하루 2
행복하길..
-
젊은 우리 7
나이테는 잘 보이지 않고
-
사람들이 지적하는 내용에 대해서는 대답 전부 회피하면서 나는 어쩔수 없었다~나는...
-
미안해 20
고멘..
-
평가원 고전만 해서 복잡한 고전시가 해석 ㅈ도 안되네 5
큰일났다 어떡하지 고1고2게 더 어렵네;;;
-
그냥 살라가 따로 없음
-
건강검진 받은 후로 계속 이사를 다녀도 자꾸 똑같은 사람을 마주친다는 의뢰받고...
-
1. 올해 입시는 의대 증원부터 시작해서 스노우볼이 이따시만하게 구른 가히 이례적인...
-
가슴이 너무 아픕니다. 누군가에겐 20대의 소중한 1년이 투자된 결실인데 오르비에서...
-
1. 이명학 신택스 고2모고 3등급이 들을만 한가요? 일리는 들었습니다 2....
-
술먹으러왔는데 0
음악이 너무 시끄러워..
-
3시 전에만 자면돼..
-
음향 엔지니어가 되어야하나.
-
바르고 나면 구내염 자리가 더 이상 아프진 않은데 감각이 사라진 게 자꾸 신경쓰여서...
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
이걸보고 모 커뮤에서 만들어낸 짤
-
외대 vs 시립 16
차피 원서 전부 극극안정으로 넣어서 외대랑 시립대 중에 선택해야하는데 개인적 선호...
-
그냥 내일 할까 15
오늘만 날이 아니잖아
-
오르비 6
노잼
-
바이바이 11
공부할게 진짜
-
차단 9
-한 등불이 하나 비인 하늘에 걸려 있다.
-
원서 지손으로 써봤으면 상황 자체보단 지금 커뮤니케이션이 중점인데 뭔 사후적으로...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?