공리를 부정해도 무모순임
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
(서울대 합격 / 합격자인증)(스누라이프) 서울대 25학번 단톡방을 소개합니다. 0
안녕하세요. 서울대 커뮤니티 SNULife 오픈챗 준비팀입니다. 서울대 25학번...
-
그럼 투표 결과 7
수학 하는걸로 할게요 공수2 올려봄 이따
-
2m 여친 사귀기
-
수2도 해야겟지 6
햐 노잼과목..
-
2년반만에 찾아온 기회입니다 다들 레어 사가세요
-
고경제 교과 1
고경제 교과우수도 펑인가요?
-
근데 비싼건 왜케 비싼거죠?
-
Tomboy 위잉위잉 와리가리 Ohio Love ya! Paul Hooka New born
-
오르비 오래 하고 볼 일이네
-
아 씨발 6
스키마 레어 똑같은걸로 ㅈㄴ싼거 있었어 충동구매의 폐해....
-
근데 왜 빨리 읽어? 빨리 읽으니깐 내용 파악이 안되는거야 그러니깐 몇 번씩...
-
전 락스타 호소인이 아닙니다ㅠㅠ
-
https://orbi.kr/00071495666 전문적인건 전혀못하는데 그냥...
-
건동홍숙이라더니 국민대, 숭실대하고 비비네
-
개인적으로 확통 난도가 미적보다 훨씬 높지 않음? 15
본인은 그렇게 느낌 ㅇㅇ 확통은 실수 한번하면 끝나는거 아님? 주관신 의믄사도...
-
부탁. 드립니다.
-
수능 준비하던 시절이 그리운 것일 뿐이지만
-
나 드디어....잊혀졌구나
-
레어 샀는데 7
이쁘긴 한데..... 이거 어따 쓰는겨
-
https://orbi.kr/00071500944/%255B%EC%A7%80%EA%B...
-
그 채점이랑 모의지원 안했는데 지금도 찡찡거리면 받아줘요?ㅠ
-
오르비 와서 보니까 이게 고트였던걸 알게됬네
-
나를 써줘 6
써줘써줘써줘써줘써줘
-
진지하게 친구가 거의 없음 어케된걸까싶네 하….이정돈 아니였는데
-
님들 할거 투표좀 11
코딩 <<< 무저건 해야함 수학 <<< 그냥 하면 재밋긴함
-
국어 써줘 3
써줘써줘써줘써줘써줘써줘
-
오히려 좋?아
-
나였어도 찐따 과외쌤한테는 과외 안 받을거같아서 과외슨상 찐따라 싫다하는 글에 할말이없어
-
한양의 ㄱㄴ?
-
앞뒤 다 자르고 다짜고짜 소설 시작하는거 개빡침
-
빰빰빰빰
-
컨설팅 팀이 자기만을 위해 존재하지 않는다는 거임 팀이 받은 비슷한 성적대의...
-
이딴게 어딨어
-
사탐런 할말 4
일단 23수능 성적이고 국어는 백분위 96이상 안정에 수학은 평소 92 밑으로...
-
다들 백분위 100 찍고 쓰길래 약간무서움뇨 국어칼럼쓰고싶은데 아 물론 주제는 아직 생각안함
-
수능 1년도 안남았는데 진짜 개좆됬네 정신연령이랑 능지는 중딩때랑 똑같은데 ㅋㅋㅋㅋㅋㅋㅋ
-
우선 만족할 결과를 얻지 못한 분들 개인적으로 정말 아쉽다고 생각합니다. 저같은...
-
이원준t 해설에 대해 써주면 좋겟 슴
-
오르비 유입 1
나랏말쌈 님의 중세국어(ㄱ 약화) 글
-
살 수 있는게 많네 아이쇼핑 좀 해볼까
-
이건 차별이야
-
저도선넘질받받아봄 24
ㄱㄱㄱ
-
연락 가지고 밀당 하는 것만큼 너무 하수같은게 없는듯... 나이가 어릴수록, 경험이...
-
https://orbi.kr/00071495666
-
오르비 유입 0
모킹버드님의 합성함수 그래프 그리는 칼럼
-
하아아아아아ㅏ아아 14
레어 댕같이 물렸네!!@@@@!!!!
-
오르비 유입? 0
슈뢰딩거 고양이의 중앙대 합격증
-
https://orbi.kr/00041407836 우X이 야추 개X고싶어요 로...
-
누백 계산 철저히 잘못되서 이런 효과나는것 같은데 이정도면 단체빵이 아닌 누백 잘못...
-
선넘질받 합니다 2
근대 애매하면 답 애매하게 답할수도 있음
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?