공리를 부정해도 무모순임
게시글 주소: https://old.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
"여러분, 계엄은 범죄가 아닙니다"…尹 자필 편지 공개 [전문] 0
윤석열 대통령이 내란 수괴 등 혐의로 고위공직자범죄수사처(공수처)에 체포된 15일...
-
ㅋㅋ
-
거 사내들끼리 사귈 수도 있는거지;
-
논리 평가좀 2
전제가 참이면 결론이 참 대우명제는 결론이 거짓이면 전제가 거짓 전제안에 공리가...
-
1. 면접 건물 앞에서 사범대 선배들이 응원해주더라. 지원한 과 선배한테 핫팩...
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
원래 피파했었는데 접었다 오니까 스텟 인플레가 너무 심해서 걍 접음 롤은 초반에...
-
아까 어떤 친절한 분이 알려줌 요번주에 할 수도 있고 다음주에 할 수도 있고
-
ㅈㅂ
-
언더마이카 0
내 차 밑에
-
옛날엔 꿈도 잘 안꾸고 어떤소리에도 잘 안깼는데 요즘은 꿈 자주꾸고 알람소리나...
-
서울대 질문 2
서울대 신입생시험이 2월 초에 있는 걸로 아는데, 그러면 정시 추가합격자들은 해당...
-
28, 29가 숏컷, 서바 단골 소재긴 했음
-
요네나할까 3
롤하고싶다
-
몸이 쇠약해요 1
공부를 못하게써요
-
말은 저렇게해도 보통 저런 사람들은 성욕 높거나 외로움 잘타는 성격이죠?? 진짜...
-
이거 하다보면 점점 나아지나요
-
상상 2차 붙음 1
몇 명 뽑은 건진 모르겠지만 기쁘네요 ㅎㅎ 근데 이거 몇시간 하는건지, 얼마 주는...
-
물1 실모랑 N제 16
거의 그 실모 기준 1등급 나올 정도 돼야 지금 수능 1 뜨는거임?? 진짜...
-
조발 하기는 할까요..
-
결과물 나옴 1
더 돌려봐야지~
-
과외준비하려 다시 풀어보는데 21,22 28~30 존나어렵고 빡빡하네 미적으로 이게...
-
-
메디컬말고 일반과도 과외 많이하나요?
-
반박은 안 받음
-
점공계산기 0
이렇게 되는데 왜이러는거에요? 이화 심찬우 고려 연세 연고 중앙 중대 발표 조기
-
과학은 여기에서 완자로 진도 나가는데 퇴원하고서는 완자 물 화는 다 끝나있을듯...
-
취향 조사 9
ㄱㄱ
-
나도 윤서인 작가님 와이프 같은 여자랑 결혼하고 싶음 7
애국보수+씹덕 ㄹㅇ 내 이상형임
-
노추+척아이롤+미림+마늘+생강+치킨스톡+페페론치노 해서 물붓고 전자렌지 10분 돌리는중 15
듣도보도못한요리가 나올것임
-
거액 받고 해외 블랙요원들 신상정보 中에 통째로 넘긴 정보사 군무원 무기징역 구형 4
수년 간 정보사령부 소속 해외 블랙 요원들의 신상 정보 등을 중국 첩보기관 등에...
-
저 649.7인데 추추추추합으로 될까요?
-
약수 목표로 최저학점 반수 예정입니다 작년 물1 지1 응시했는데 약대 수의대가...
-
부모님끼리 친하셔서 아주 어릴 때부터 알고지낸 친한 동생의 알몸 or 속옷차림을...
-
尹 체포 전 "2년반 더 해 뭐하나, 차라리 들어가는 게 편하다" 0
윤석열 대통령이 고위공직자범죄수사처에 체포되기 전 “나라가 종북 좌파들로 가득차...
-
ㄹㅇ 나도 네이비즘 보고 정확히 누른것같은데 어케 당첨이 안되는거지 다 어둠의 담요단인가
-
냥대떨어지면 2
성한서 지지함
-
가 왜 0일까요..
-
이제야 시대 라이브 들어볼까하는데 삼수를 하고도 물리 개빡통이라 고민이네요 개념이...
-
여기서의 좋다 나쁘다는 실력을 의미 하...저도 알고 싶지 않았는데 한 동네병원이 알려줌뇨
-
방금 맥 업데이트했는데 이제 폰 알림도 여기서 뜨고 미러링까지 되네
-
재수땐 좀 올해끝내야한다는 마음가짐때문에 이악물고 절대ㅜ안미루고 공부했었는데...
-
점공 허위일리는 없고 그냥 귀찮은건가 미지원점공 안보나보네
-
나같은놈 있음? 진짜 차이 개나는학굔데 정작 낮은곳 칸수가 더 안나오는
-
죄다 책임은 안지고 권리만 누리려고 하는거같음
-
목 왜케 아프지
-
진짜 ㅈㄴ 큰것 같음 지방에 개인병원갔을때는 초음파찍어도 뭔지를 모름 서울 모...
-
제일 짜릿함 엄마미안...
-
노력<<< 진짜 웃긴게 55
사람들은 다 자기가 한 정도까지는 노력인줄 앎ㅋㅋㅋㅋ 수학 1컷은 노력 아님?...
-
이원준쌤은 그냥 바로 주요 키워드 잡고 구조도 그리시던데 전 짜구 엉뚱한거...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?