공리를 부정해도 무모순임
게시글 주소: https://orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제가 노력할게요
-
아트록스 이거 진짜인듯
-
옛날에 mp3 불법다운 해 들었잖아 학교 선생님이 틀어주던 불법 영화 파일 봤잖아...
-
하면 욕 먹을것같아서 안해야지
-
추천 오네가이시마스
-
남자한테 받았던건 과거에 풀어서 다시풀기귀찮음
-
저도 개빻아서 하는 말임 님들이카리나강해린 이런사람 만날거면 중요하지 근데 일반인...
-
잠이 안와.. 2
아..
-
난 애인 있음 1
옵붕이들이 내 애인임
-
미친사람인줄알았음
-
다이닝 원없이가고싶어서임 맛있는게 좋아
-
오르비 internal server error는 못 참겠다
-
전여친썰) 3
-
나는 안 씀 1
딱히 양심 그런건 아니고 걍 나는 돈을 써야 풀게 되더라
-
짱깨 새끼들 1
냄새 ㅈㄴ 나서 속으로 욕하고 있었는데 신분증 사진으로 보여주길래 안된다고 돌려보냄...
-
야메추좀
-
ㅇㅇ...
-
연애썰 좀 길긴 한데 11
해피엔딩이아님 풀어볼까
-
고백 성공률 백퍼임 16
고백은 wwe임 이미 합 맞춰보고 기술드간다~~ 잘받아!! 하고 들어거는거임
-
20살 딱지 떼자마자 연애하는 애들은 상대방에 대한 존중과 배려가 부족할 수 있다...
-
혈중달달함농도 좀 채우자
-
너희들은 모솔을 평생 이해 못할거임
-
연애하고싶다
-
ex썰 풀고 싶은데 12
푸는게 재밌는데 풀때마다 내가 비참해지는 기분이긴 함 사실 재미는 있는데 궁금해하는 사람이 없다
-
렉사이 닮음
-
부럽다 그냥
-
연애하다 0
권태기 오면 말을 해야 되나
-
연애메타 도니까 2
연애세포 살아남 근데 연애안할거야
-
자꾸 책사달라고 할때마다 죄송스러움
-
같이 실모풀기...?
-
토요일 새벽이라 그런가 재밌다 ㅎㅎ
-
연애세포 0
요새 계속 왔다갔다거림 연애하고 싶은 건지 아닌지 모르겟음
-
새르비 좋아 17
뭔가 옹기종기 요런 느낌 사랑해 ♡
-
독재 재수생인데 일주일에 6시간정도는 사탐 뺄 수 있습니다 둘 다 한 번도 안...
-
하 2
남자가 번호 따이는거는 존잘들만 가능하다는데 ㅅㅂㅅㅅ
-
용기를 못내는 이유가 10
까인적이 너무 많음 저번에 소개받은지 하루만에 까인적도 있음 그래서 오는 것만 받음
-
나 개병신인가봐 2
지인선 2회 다 푸는데 3시간 이상 박았는데도 두개틀림 ㅅㅂ
-
그리고 아닌거같은 사람은 보내주는 것도 중요함
-
마흔살먹고
-
누워보자
-
딱 터져서 학교 쉬고 며칠안됐을때 사람 아무도 없으니까 지금 나가면 오히려 안전한거...
-
남한테 피해가갈수있음 그래서 안냄
-
몇살차이까지 허용됨
-
잘러감 3
ㅂㅇ
-
요즘은 진짜로 긁히기 시작한다 슬프구나..
-
수학은 책 독학만으로는 만점이 불가능한 것인가
-
일주일까진 집안에만 있어봄
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임

흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임

자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?