공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
확통 찍먹해봤는데 ㄷㄷ이네
-
화1 3
이거 물1보다는 안고인거같은데 걍쉽게나와서아님? 원과목 최고권위자는 물1으루ㄱㄱ
-
응
-
대학 생활 아는 게 아무 것도 없어서 일단 가야하는데 어따 문의함뇨....
-
저 어릴땐 스마트폰 안썼어서 그냥 책만 계속 읽었음 한 9살정도쯤에 책 많이 읽으면...
-
혹시 몇시에 문열고 언제까지 공부할수있나요? 네이버 플레이스에는 10시까지라구...
-
이책은 적중률이 좋을수밖에 없네요 그냥 사전수준...
-
맞팔9해요 7
저도 갈테가 달고싶어요...오네가이시마스
-
돈관리하는 방법 이런거요..
-
나 근데 독서 4
수행평가때문빼곤 3년간 1권도 안읽은듯 ㅅㅂ그래서 내가 2인가
-
왜 많다는 겨 이해불가 미적 말고 많은 게 없는데
-
고3이구여 정시 준비 하고 있습니다 제대로 시작한건 12월쯤 부터고 화작 미적...
-
요즘 꽃힌 노래 0
https://youtu.be/PsO6ZnUZI0g?si=UHWfok_banUHcAYa
-
괜찮을거야.. 아마..
-
ㅈㄱㄴ 뉴런 4월말쯤 끝내고 드릴이랑 N제 벅벅푸는게 베스트?
-
씹덕 동아리 들어갈거야
-
술약 후 혼코노 6
행복한 하루구나 으흐흐
-
확통 사탐으로 인서울 대부분 뚫린다는 거 방금 알게 됐는데, 현역이 학교 다니면서...
-
어떤분은 시종일관 지과목 좋으니까 지가하는 두과목 다하라고만 하네...
-
나뭐없는데 왜 팔로우하시는거지 그냥인가
-
아무래도 문과 학교니까 이과애들은 별 관심 없을 것 같은데…
-
강의 다 듣는다고 하면 양이 좀 많은거 같은데 나의 능력 부족인가
-
2주차 어싸 풀꺼임? 훑어보니까 ㅈㄴ 거르고 싶던데
-
올해 설맞이 2
설맞이 2026 언제쯤나옴?
-
완자로 내신대비가 되는 학교가 존재하긴 함?
-
언제부터 공부 시작하실건가요?
-
두명만 더 채워줘요.... 10의 배수여야 마음이 편해요
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
생윤 강의에서 학교 다닐때 어떤 학생이 나이키 신발 훔쳐갔대요 ㄷㄷ
-
교뱃 드가자 7
반수도 드가자
-
현금은 좀 준비해놓긴 했는데 어케 되려나
-
청불영화 추천좀 4
고어말고 선정적인거 오늘 히든페이스 봤는데 너무 좋았음.
-
매년 1월은 너무 길다
-
위액콸콸 하나봐요
-
학기중에는 바빠서 독서를 많이 못했네요..
-
걍 빵으로 보내자
-
학교에 라노벨만 읽는 애 있었는데 국어 재능충으로 1등급 받는거 보고 느꼈음 딴...
-
오늘 ㅈㄴ알차다 2
10시간수면 1시간아침운동 5시간피방 1시간치킨 3시간노래방 ㄹㅇ알차노
-
벨런스 게임 0
ㄴㄱ?
-
문제는 성적표에 믿을만한 자료가 없음 무보정 => 이거만보면 ㄹㅇ 절망편임 보정...
-
수학책 제작중인데 수1 수2 하면 떠오르는 색깔 있으신가요 ㅎㅎ
-
시대 강대s2 0
13143 언미생지 강대스투는 등록일단해놧고 시대도 신청하긴 할건데 시대는 백퍼...
-
대충 잇올 들어가서 뜌따...하면서 상담 1시간 받고 그후로 쭉 공부함 근데...
-
굉장히 효과적이네요 고등학교 3년 내내 놀고 26575... 어머니 감사합니다
-
난 아무리해도 1등급이안나와 ㅠㅠ 재능없나봐 이러는데 원래 뭐든지 상위 4%라는게...
-
히히
-
반수할 건데 노트북 내년에 사도 되나? 아이패드 있음 사야 되면 이번에 출시한 그램...
-
-
구걸 \^0^/
-
불꽃가능?
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?