공리를 부정해도 무모순임
게시글 주소: https://i.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
엉덩이 공개 10
얼버기
-
눈이 와 눈이 와
-
6월9일 상근 입대라 군휴학을 해야되서 입영통지서가 필요한데 5월9일까지는 학교에...
-
아침 펜션 풍경 4
일어나보니까 겨울왕국이 되어있네 ㄷㄷ
-
지하철 타야겠누 0
무슨 눈이 이리많이오냐
-
한두달의 공부량은 크게 중요하지 않을지 몰라도 공부할때 차분히 생각하고 정리할 수...
-
개념은 오지훈T가 더 낫다는 얘기도 있고, 또는 이훈식T가 낫다는 얘기가 있어...
-
국어 모의고사 풀 때 시간 재고 풀고 있는데 아직은 10분 정도 부족한 거 같습니다...
-
18수능세대이고 의대 목표로 공부해보려고합니다 당시 물1 생1이었고 물리는 1등급...
-
맞팔구 0
..
-
기상 0
한시간 동안 뒤척이다 일어나기
-
출근하면서 작성하는 월요 기원글입니다,, 상지 기다리시는 분들 다같이 원주에서 뵀으면 좋겠습니다!!
-
거기서 맨날 설카포연고서성한떨 지잡의 이러고 노는 애임 하루종일 의까짓하는 중...
-
전에 지구과학 책 뭐 추천받았는데 기억이 안남 4글자였고 '스'로 시작했던거 같음...
-
동네 독재랑 재종둘다되는학원에서 독재도 100퍼장학이라길래 꽁짜삼반수할생각에...
-
2월 3일 CL 경기에는 과연 원딜로 누가 출전할까 4
스매시 2중으로 뛰게 하면 프런트 조지러갈 준비 완료함 금재 혹사시키지 말아라
-
대 서 강 ㅋㅋㅋㅋㅋ
-
미소녀도 똥을 싸나 13
궁금
-
18수능 세대입니다 의대목표로 다시 공부해보려고하는데 지금은 수학이 미적 기하 확통...
-
여캐일러 투척 11
수능 정복 13일차
-
그레이엄 하먼은 아직 살아있는데 문항 출제 잘못하면 평가원 또 사과해야하는거 아닌지...
-
꽤나 오래된 역사를 지닌 곳
-
동대 입학처 오늘 일 함?아는사람
-
국시 자격 여부는 교육부 소관이라고 그럼 불인증먹어도 국시칠수있을듯..? 교육부...
-
잇올도착 1
투데이스타트
-
경지를 향한 단련이 필요하다
-
ㄹㅇ
-
손 핏줄이 갑자기 무슨 헬창 급으로 올라오는데 이거 왜이럼
-
10만원 넘지 않고 스테이크 맛있는 뷔페로요
-
수분감 수1특 5
솔직히 틀딱기출문제 거른거 많음...
-
춤추는 너의 모습은
-
비도 조금씩 오는데 달리니까 시원하고 좋아요
-
많을라나 막상 학교첫날갓는데 마음에들면어카지
-
술이 아직도 안 깨서 어지러운데 ㅅㅂ 인생
-
화작 교재 추천 1
화작 기출교재 어떤게 좋을까요? 강의는 안 들을 예정인데 뭐가 가장 괜찮을지 추천좀 해주세요
-
파송송 계란탁
-
자야지 0
-
얘 태어날때 데뷔했는데
-
집가는길 1
으어
-
공공인재는 최초합해서 4년 반액장학이고 경영은 추합 기다리고있는데 장학금...
-
잠버릇 고약하네..
-
으으 2
피곤피곤
-
단국약 예비 31번, 전북약 실공10등 둘중 하나라도 될 가능성 있을까요?
-
주가조작으로 잡혀가셨다네요 조의금은 여기로
-
사랑해요
-
진짜 ㅇㅈ마렵네 2
오랜된 생각이다
-
기차지나간당 8
부지런행
-
고전소설 진짜 한 20분 박았는데 3틀하고 멸망함 아침에 이거 줄거리까지 보고갔는데...
-
다 자셈 ㅇㅇ 7
난 안 잠
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?