공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
세상에 좆병신이 얼마나 많은 지 깨닫게됨
-
본인 더프 인최업 10
경제 전국 3등 한 적 있음
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
지금 힘들어하는 사람들은 괜찮아지고 지금 행복한 사람은 계속 헹복하고 저를 미워하는...
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
-
면허땄다 12
만세
-
확통 찍먹해봤는데 ㄷㄷ이네
-
책 좀 읽어야 하는데 10
갑자기 독서 떡밥 보고 자아성찰 해보니까 중학교 직전까지의 독서량이 중학교부터의...
-
히잉
-
우리학교 레전드썰 10
내신 5점대에 모고 전교 120등하던형이 4수해서 의대간 사례있음
-
엘베 같이 탐 ㅎㅎㅎㅎㅎㅎ
-
그냥 순수 ㅂㅅ짓으로 환급 못받아서 날리는데 어캄
-
올해 가는 걸로 만족해야할 듯
-
https://youtube.com/shorts/6Dx8u-r_TZ0?si=VjJRB...
-
부진장강곤곤래 7
비트코인은 장강의 물결과 같이 언제나 도도하게 오른다
-
걍 좀 걸어서 국밥집 갈까요
-
대학 생활 아는 게 아무 것도 없어서 일단 가야하는데 어따 문의함뇨....
-
근데 1분뒤에 둥글어질지 그냥 미쳐버릴지 결정됨
-
저메추 부탁함뇨잇.
-
언제부터 공부 시작하실건가요?
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?