공리를 부정해도 무모순임
게시글 주소: https://wwww.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
맞팔 ㄱㄱ 4
-
난 재능인거같음 중학생보다 그림을 못그리니..
-
그림 ㅇㅈ 6
고딩 때 공부하기 싫으면 그림 그림
-
거만한 설댕이입니다 23
네
-
다들 원하는 바를 이루시길 바랍니다
-
내가 그린 여캐 4
-
드자가!!!!
-
모든 메타 내가 돌리는 중임
-
강기원 정규, 특강반 + 이신혁 + 현정훈 이렇게 4개 듣는 중인데 지구 아폴로도...
-
술 먹고 싶은 밤이구나 13
조용하게 애니 틀어놓고 신라면 생으로 뜯어서 소주 홀짝 마려운 밤이다
-
어그로임
-
ㅈㄱㄴ
-
차단하지만 말아주세요 제 스타일대로 최대한 그려봄ㅠㅜㅜㅜ
-
ㅈㄱㄴ
-
씹게이가 두배네
-
둘이해라 그냥 6
ㅇㅇ
-
수능 끝나니까 인스타 스토리 일본여행으로 도배되는거 보기 힘듦 나도 가고싶다…...
-
사탐하는 친구들 6
사탐 중 개념냥 뭐가 젤 적냐
-
님들은 지금 어디야? 16
본인집인 사람은 할머니집이나 다른 집이면
-
근데 얘 0
왜 요즘 곡 안냄?
-
ㅈㄱㄴ
-
여자 가슴 보지 마라 10
보지말라면 보지마
-
나도 다스릴 치 자 달린 과잠 입어보자
-
청결한 마음가짐
-
아주 지엽적인 문법이나 그 누구도 철저하게 다 지키기는 어려운 띄어쓰기 같은...
-
제가 과거 고등학교 3학년이던 시절, 발표한 교내 소논문이 있습니다. 가 바로...
-
내용 비슷하나요??
-
무려 은행의 현금(!)을 예시로 설명한 그 빳빳한 종이가 그래서 전체 분량중 대체...
-
심심 20
아
-
-꼰- 1
.
-
내가 뭘 하는지도 모르겠는데 남을 어캐 설득시키냐....
-
범바오야 0
수1 강의수를 늘려도 좋으니 수열좀 자세히 알려줘 나 수열 못한단 말이야
-
내가 인증하겟슴 15
안함
-
수분감 너무 어려운데 제발 조언좀 부탁드립니다 ㅠㅠ 2
다른 분들 말 들어보니 수분감 스텝1이 어려우면 안된다는 거 같은데 시발점, 시발점...
-
난 한 문제를 2년째 바라보는 중임 (강제)
-
고소미 먹음 8
진짜임
-
일단 생각나는거 다넣어봄
-
이화 뽕 10
이화여대 개간지인게 웰컴키트에 매년 그 해 띠의 동물 인형을 같이 보내줌...
-
현역이 수능을 보통 못 보는 이유가 학교 수업시간에 수업듣고 수행준비 시험준비 학종...
-
Sin값이 1보다 큰데 말이되나요 심지어 답지에도 1보다 크다고 나옴 ㅋㅋㅋㅋ
-
확통과탐 4
미친짓인가요?
-
캠퍼스 탐방 말고 또 할게 뭐가 있을까요? 평생 지방에서만 살고 서울 거의...
-
어서 지원들을 하세요 쪽지 환영
-
나랑같이 밤새자 3
내일 새벽5시까지 안자고 깨어있으면 3천덕드림 참가할거면 100덕보내줘
-
이상vs백석 6
누가 더 알파메일임
-
대통령 측 “中 드론·기밀 유출…하이브리드 전쟁 중” 1
[앵커] 탄핵 심판에 다뤄질 하이브리드전 다소 생소한 개념이죠. 대통령 측은 우리가...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?