공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
진짜 에바잖아.. 이건
-
정관장 에브리타임 어때 10만정도하는데 이거 너무 과한건가
-
스켈핑 ㄹㅈㄷ 0
-
Bonzo 이사람 뭐임 12
저가 레어 시장 꽉잡고 있는데
-
내껀데
-
????????????????
-
왜 너따위가 국시를 보네마네 하는거지 신에게싸다구를<<이사람은 대체 수능성적...
-
4자덕까지 갔구나
-
관리자의 큰 그림
-
세레나 레어는 내 거라고
-
그니깐 괜찮아...
-
노이즈 0
노이즈노이즈
-
개그지라 다 뺏기겠는데
-
아니 이렇게 찍어내실 줄 알았냐고요 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 재산 변동 10만 >...
-
무섭다무서워
-
ㅈ댓다
-
두둥 0
두두둥
-
5만덕 돌려두림
-
레어에 제작자 이름을 넣어라! 넣어라! 대체 불가능 토큰이면 제작자 이름이 들어가야한다!
-
으으
-
저는 투자받은거 다 돌려드리겠다는 마음으로.. 미래에 좋게 살려고 두개인 것 같은데...
-
어떻게 해야 되는거죠..?
-
레어확인 15
-
2배 불렸네
-
히히히
-
서코니(SAUCONY) 라는 브랜드인데 신발이 전반적으로 편해요 푹신한거 찾으시면 이거 추천
-
레어 만들어야지 0
히히
-
덕코다쓸때까지 계속 뺏을거임
-
레어참조...
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
남자 반수생분들 0
만약에 이번에 정시 떨어지면... 다들 군대런 생각중이신가요
-
2만덕이 되었구나
-
내버려둬야지
-
ㄹㅇ 0
냠
-
언제 나오냐..
-
뭐지
-
레어 확인용 4
-
ㅌㅅㅌ 1
/
-
못하나..?ㅠㅠ
-
라유 저격합니다 3
1000만덕을 모으겠다는 표면적인 목표를 세워 오르비언이 한마음 한뜻으로 보태준...
-
레어 찍어내서 부동산 마냥 설거지 실패 되나 물린 것 같기도
-
ㅇㅂㄱ 2
-
ㅠㅠㅠ
-
레어부자 1
으하하
-
비상 2
레어 똥값됨
-
나는 아직 음료 안만들긴하는데 구냥도넛만포장하고 매장청소만하면됨 설거지도...
-
고2 9모는 85점이였구요.일리를 듣고 신택스 가는 게 나을까요 아니면 바로 신택스...
-
대재앙 ㅋㅋㅋㅋㅋ
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?