공리를 부정해도 무모순임
게시글 주소: https://test.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
기출의 파급효과 0
기출의 파급효과 영어 독서 문학 사문 어떤지 알려주실분 계신가요? 독학으로하기에...
-
레벨 개예쁘네 4
30렙부터 갑자기 예뻐지네.. 캬 대 르 비
-
ㅅㅂㅋㅋㅋㅋ
-
Sat lsat이런거 어줍짢게 따라하는거 진짜ㅋㅋ 걔네는 그냥 적성시험으로 아득바득...
-
이거 쪽지 알림이 안 떠서 너무 늦게 읽게 되는데 다른 앱을 깔 공간이 없음뇨
-
무물보 7
고대는 수리논술로 붙음 23: 43235 24: 3212125: 32132 요즘...
-
야구 언제 하냐 2
슬슬 금단증상 온다 ㄹㅇ
-
학부모가 좋다고 더 따끔하게 혼내달라함 당황스럽다
-
이투스 살려주려 한건가…
-
네
-
알바 땜빵 문의 들어와 좋긴한데만
-
역시나 한 번 더해서 설의를 가야겠군 ㅋㅋㅋ
-
경희 건공 / 건대 화공이면 어디감?
-
한번 정리해 볼만할까요? 국어(언매) 백분위 작수 83(밀려씀) 9모 79 올수...
-
24 미적: 실력 많이 오른거같은데 1 가능한가..? -> 어림없지 개폭망 25...
-
97 있는 수능판이 더 익숙한데…
-
노래 좋네요
-
아빠 2006-7년쯤에 의전원준비할때 오르비했엇대 굉장하다 참고로 아빠 고려대공대 99학번
-
1. 상술한 문제의 저작권은 당연히 출제기관에게 있다. 2. 출제기관의 허락을 받지...
-
언매랑 화작은 각자 장단점이 있어서 중상~상 난도에 표점까지 별로 차이가 안 나는...
-
카티 신곡 근황 3
ㄹㅇ 마짱 뜨잔건가..
-
강매당해서 풀고있는 메가 n제 수1... 삼각함수 도형 문제를 풀다가 이상한 점을...
-
리트리버 13
Retrieve 라는 어원에서 알 수 있듯이 사냥꾼이 새를 총으로 잡아 새가 물에...
-
:D
-
아폴로? 0
생각해보니까 지1 주간지 필요하겠는데
-
작수 확통 3등급인데 한완수 상, 중 2회독 후 하 들어가나요 아님 상, 중 끝내고...
-
사탐런한 노베 고3인데 최적으로 개념강의듣고 도표만 윤성훈으로 들어도 ㄱㅊ을까요?...
-
아직 애니 40개도 안봄
-
듣기 다맞추고 독해 빈칸추론 순서삽입은 포기하고 한번호로 밀고 나머지만 풀어서 다맞추면 3은 뜨겠다
-
화작확통생윤사문 0
국어 - 강기본, 강기분 수학- (시발점 커리 타고있고 2월 되기 전까지 공통...
-
덕코주세요 8
뿌리고다녔더니 안남았어요
-
트레이닝은 다 아는거같으면서도 헷갈리는거 꽤 나오고, 도킹은 문제푸는데 오래 걸리고...
-
춤추셈 실제로 제가 알바 할 때 기분 X같아서 손님없는 틈을 타서 노래 틀고...
-
나 무서워... 8
사람들이 갑자기 덕코 많이줘...
-
ㅋㅋㅋㅋㅋ
-
시청자 의견 반영은 좋은데 이렇게 뽑을거면 앞에 헬은 지우는게 맞지 않나..
-
팔취 찾는거 4
귀찮아뒤지겠어요
-
축구선수 재능이랑 축구감독 재능도 별개던데
-
프린크카페 질문 2
거기에 모고크기 정도인 용지도 있나용? 그리고 혹시 제 노트북을 들고가야 하나요...
-
[속보]과천 공수처 부근 주차장서 신원불상자 분신해 숨져 13
[파이낸셜뉴스]
-
뀨뀨 3
뀨우
-
여러분 혹시 1
중대 예비도못받았는데 예비번호 나중에 언제 알 수 있나요? 충원 알려줄때 받을 수 있나요?
-
시머 의자 좋아요? 의자를 살 일이 생겼는데 내가 생각하기에 당신들만큼 잘 앉아있는...
-
심호흡 한 번 해보세요 저 어제부터 하는데 효과가 꽤 좋아요
-
의지가 어느정도 있는지 보임
-
전자가 좋냐 후자가 좋냐
-
사탐런 조언 5
대성 끊을것 같은데 작년에 사문 했었고 높3 나왔음 지금 쌍윤 할지 / 쌍사 할지...
-
지피티한테 물어봐
-
오전 10시 ~ 오후 6시 사이에 조발 안 나면 그냥 놀면 됨 전화 추합 시즌 예외
-
덕코 주면 14
민초한입 기분 좋아짐
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?