공리를 부정해도 무모순임
게시글 주소: https://hpi.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
사실 수의대가서 수의사 됏으면 부랄딱밤 한번 때려보고 싶었어..
-
어지럽네 2
진짜ㅏ
-
고해성사 4
퍼리로 신세진적 존재
-
대신 나 자신을 사랑하는 법이라도 알고 싶어요
-
여친 고르기 6
ㅋㅋ
-
여기서 더 낮추면 동물로 가야해..
-
ㅇㅅ낀 무조건 의대가야겠네 ㅋㅋㅋㅋ 싶은 분들 있었는데 오늘은 진짜 잘나신 분들만 있어서 괴로워요
-
나중에 돈 많이 벌고 청소업체에 월 100만원 내면서 살고 싶음 영앤리치비지하게 살고 싶달까요
-
닥전인가
-
황밸 도전
-
내일알바가야하네 2
귀찮다
-
ㅇㅈ메타 끝났네 6
쩝
-
이거 헬보직인가요?
-
아아 여기서라도 좋아요라는 것을 받아보고싶구나.
-
가 아니라 백두산 호랑이~
-
잘자요 여러분들 6
저처럼 멍청하게 눈썹칼에 베이지 마시고 ㅋㅋ
-
알바가ぎしろよ 3
왜 또 알바가야함
-
솔직히 그냥 생긴거나 학력 능지 사회적 위상 이런 건 그냥 멀쩡한 거 같은데...
-
하.. 고민되네
-
눈을 낮추면 끝남 근데 이 두덩어리가 그걸 허락을 안해줌
-
너무 마음 아팠음. 짝사랑이었어서. 추억이네... 내가 보는 앞에서 다른 사람...
-
예상 댓글) 원츄라이? 님. 아이고 그만 하세요 하셔도 됩니다
-
안되겠다 0
배민시켜야지
-
스스로에 대한 존중이 없는 상태에서 사작하는 연애는 걍 파탄임 안하는게나음
-
달팽이크림사달라해야겠다
-
너무 대겹만 지원하면 취업 쉽지않으니 하향지원해서 중소에서 경험과 경력을 쌓고...
-
이 몸뚱이를 누가 좋아하겠음 ㅋㅋ
-
내게답을알려줘
-
엣헴
-
페이커 월즈 5회 우승하게 해달라고 빌었음 그래서 신 원망 안할거임요 나중에 교회도...
-
요즘에는 연애 자체가 나름 자랑거리이긴 한 것 같음 9
예전에는 그냥 연애 자랑글 1도 신경 안썼는데 지금은 연애를 하는 사람이 없다보니...
-
대학을 두 번 입학하니까 입학선물도 두배
-
다죽으셈걍 3
나혼자수능봐서서울대의대수석입학할거임
-
진학사 기준 몇명인가용?? 제가 진학사를 안써서 ㅈㅅ합니다
-
요즘은 취사병이 개꿀이라카던데 정말인가요? 물론 부바부겠지만 먼저 입대한 애들 말...
-
팬이에요 4
팬티에요
-
제일 친한 친구가 대학붙었다는데 기프티콘 보내주고 싶어서요.. 얼마 정도가 적당할까요??
-
먹고싶다
-
https://orbi.kr/00071324915/근데 성인인데 모솔인 건 ㅜㅜ
-
레전드 게으름이군
-
아몰랑 2
난 바보몽총이야 ㅎ.ㅎ
-
내가 본 최악의 오타 12
미친개년
-
다 갔지? 19
연대와 고대 ㅇㅈ
-
한번 만나볼 여르비 구해요~
-
ㅈㄱㄴ 알람 맨날 못듣는데 어캄
-
이상형 싸지르기 13
설인아 이나경 설인아 님들도ㄱㄱ
-
사람이 먼저다.
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?