공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아까까지.계속 배아파서 못자다가 이제 자야겠네 빠잉
-
ㅇㅇ
-
잡시다
-
다이어트 1일차 0
시작합니다
-
살좀빼고 음 일단 자자 졸리네
-
오노추 0
비트가 맛깔나요
-
지금 말고 사람 많은 오후 때요
-
나만 혼자 외롭게 있다는 생각들면 숨이 잘 안 쉬어짐
-
난 ㄹㅇ 잠이 안오더라 ㅋㅋㅋㅋㅋㅋ 울진않았지만 뭐,,
-
30명은 돌겄죠?
-
10키로 찌면서 이목구비에 살찜뇨.. 이제 마름에서 그냥 보통 정도 된거같은ㄷㅔ...
-
ㅇㅇ…..
-
자식때문도 있지만 자기자신을 위해서도 큰것같음 나라상태는 둘째치고 19-30까진...
-
살면서 딱히 4
누구 닮았다는걸 못들어봄 들어보고 싶은대
-
재수 삼수실패해서 망하면 보통 다들 정시발표까지 뭐하시나요? 7
재수삼수실패햇는데 새벽까지 넷플릭스보는가 어케생각함?
-
오르비나 하고있네ㅋㅋ
-
ㅇㅈ 바겐세일 6
그냥 잘나온 사진들 다뿌림 히히
-
근데 친구든 연애든 23
친구 만드는 것 혹은 연애하기에 지나치게 집착하면 오히려 생길 인연도 안 생기는 듯...
-
내일 아침에 일어나야하지 않나요?
-
아닌데?? 나한텐 오르비 친구들 있는데?? 나에겐 소중한 친구들임
-
햄부기 4
-
선택좀 2
경희대 정디플, 기계 디스플레이쪽 요즘 안좋다던데
-
이거 먹을려고 열심히 일 했어요
-
2시 쯤이면 ㅇㅈ해도 되려나
-
얼굴은 앵간만하는데 키크고 개잘먹게 생김...... 교복입고 엘베탔을때 어르신들한테...
-
-
ㅇㅈ 18
-
이해안갔었는데 여르비 ㅇㅈ보니까 바로 이해감
-
나에게는 옯붕이들이 있잖아 제 친구 해주실거죠?
-
두번다시볼일없는 개 쓸데없는 스크린샷이 차지함 나머지 8%는 카리나
-
미소녀는 잠꾸러기
-
ㅇㅈ
-
자신의 인생의 엔딩이 독거노인 엔딩일까봐 두렵지않음? 제가그럼
-
네 그렇습니다
-
ㅇㅈ 9
할 사진이 없다
-
이상하게 나이 좀 있으신 분들이나 선생님 몇분만 잘생겼다 해주심 4
친구들한텐 한번도 못들었고 인상도 그닥이었던 것 같은데 이렇게 괴리가 있는 이유를 잘 모르겠음
-
ㄱㅁ하나만 할게요 11
저는 살이 잘빠지는 체질이라 걍 하루 이틀 밥좀 적게 먹고 하면 살이 그냥 막...
-
ㅇㅈ 6
근데 진짜 몇살땐지 나도 모르겠네
-
ㅇ
-
ㅇ 9
ㅇ
-
위험하다
-
다시 한번 생각해보시길...
-
나중에 수능만점받고 인터뷰할 때 파묘당하면 부끄러울듯
-
나는 밥을 굶어도 안빠지던데.. ㄹㅇ 40후까지만 빼고 싶은데 빠져도 2키로가 한계임,,
-
ㅇㅈ 7
취해써 ㅣㅎ히
-
일상 공유함 3
일상이 없음
-
문득 그런 기도를 할 때가 있었다 그러자 신은 나에게 발뻗잠이 가능한 점공 등수를...
-
18수능 가형 2등급이었으면 지금은 1등급 걍 찜쪄먹나요? 3
지금은 등급이 문과랑 통합됐다는 소리가있던데
-
ㅇㅈ할 사진 따위는 존재하지 않아
-
초등중등 걸칠 시기 아무도 모르는 사진이라 특정당하진 않을듯? 지움
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?