공리를 부정해도 무모순임
게시글 주소: https://wwww.orbi.kr/00071314171
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
그리고 허준이 교수가 말하길 수학은 무모순이기만 하면 된다고 함
따라서 실수의 완비성 공리를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
강의 다 듣는다고 하면 양이 좀 많은거 같은데 나의 능력 부족인가
-
2주차 어싸 풀꺼임? 훑어보니까 ㅈㄴ 거르고 싶던데
-
올해 설맞이 2
설맞이 2026 언제쯤나옴?
-
완자로 내신대비가 되는 학교가 존재하긴 함?
-
언제부터 공부 시작하실건가요?
-
두명만 더 채워줘요.... 10의 배수여야 마음이 편해요
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
생윤 강의에서 학교 다닐때 어떤 학생이 나이키 신발 훔쳐갔대요 ㄷㄷ
-
교뱃 드가자 7
반수도 드가자
-
현금은 좀 준비해놓긴 했는데 어케 되려나
-
청불영화 추천좀 4
고어말고 선정적인거 오늘 히든페이스 봤는데 너무 좋았음.
-
매년 1월은 너무 길다
-
위액콸콸 하나봐요
-
학기중에는 바빠서 독서를 많이 못했네요..
-
걍 빵으로 보내자
-
학교에 라노벨만 읽는 애 있었는데 국어 재능충으로 1등급 받는거 보고 느꼈음 딴...
-
오늘 ㅈㄴ알차다 2
10시간수면 1시간아침운동 5시간피방 1시간치킨 3시간노래방 ㄹㅇ알차노
-
벨런스 게임 0
ㄴㄱ?
-
문제는 성적표에 믿을만한 자료가 없음 무보정 => 이거만보면 ㄹㅇ 절망편임 보정...
-
수학책 제작중인데 수1 수2 하면 떠오르는 색깔 있으신가요 ㅎㅎ
-
시대 강대s2 0
13143 언미생지 강대스투는 등록일단해놧고 시대도 신청하긴 할건데 시대는 백퍼...
-
대충 잇올 들어가서 뜌따...하면서 상담 1시간 받고 그후로 쭉 공부함 근데...
-
굉장히 효과적이네요 고등학교 3년 내내 놀고 26575... 어머니 감사합니다
-
난 아무리해도 1등급이안나와 ㅠㅠ 재능없나봐 이러는데 원래 뭐든지 상위 4%라는게...
-
히히
-
반수할 건데 노트북 내년에 사도 되나? 아이패드 있음 사야 되면 이번에 출시한 그램...
-
-
구걸 \^0^/
-
불꽃가능?
-
책 좀 읽어야 하는데 11
갑자기 독서 떡밥 보고 자아성찰 해보니까 중학교 직전까지의 독서량이 중학교부터의...
-
전 책 많이봄 6
부모님께서 마인크래프트는 안사주셔도 책은 개많이 사주심
-
애초에 표점 개후하게 주기 때문입니다 그거대로였으면 전 지금 한의예 뚫고 메디컬...
-
억빠 거르고 인서울 + 지거국까지는 이 취급 가능함 그냥 나 어디어디 다녀요 할때...
-
-
참치 많이 든걸로
-
우울해져서 잘래요 16
내년엔 저도 축하받을 일이 잇겟죠
-
국어 감각이 많이 죽었네... 현역때 한창 감좋을때는 마더텅 비문학 50문제 연속...
-
현역 수능 국수 21이 뜬 건에 대하여 이래도 정말 재능이란 게 없나요 물론 이...
-
1. 00대 정도면 괜찮은 대학이지~ 이 소리 좋아하는 사람 못봤다. 뭔가 안좋은데...
-
본인 이상형 1
운동 잘하는 사람... 너무 멋있음 진짜로 물론 남자면 더 좋음
-
멘탈 나가서 이년동안 다 놨었는데 전 고3인데 삼수생 나이군요 아무것도 안했는데 흑흑
-
올해는 논술 아예 안 볼 생각인데 수업은 필수라고 들어서 그냥 맨 뒷자리에서...
-
우리학교 레전드썰 10
내신 5점대에 모고 전교 120등하던형이 4수해서 의대간 사례있음
-
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
나무위키에서 국적이 중국이 아니라 홍콩이라 나오네 왜지?
-
물1 내용 들어놓아야 좋을까요...? 현역 때 수능으로 쳤다가 1년간 놨는데...
-
0타 강사님 반응이 궁금함
-
4수해서 숭실대 목표로 하는 놈 부모님은 제발 숭실대라도 가면 100만원 준다고...
-
https://youtube.com/shorts/6Dx8u-r_TZ0?si=VjJRB...
-
훈련소입소하루전 전여친 바람핀거알고 우울증있던거 심하게도져서 공군훈련소퇴소한거...
귀류법 증명이 없다는 게 귀류법이 증명의 도구로서 쓰일 수 없다는 거임?
그냥 귀류법으로 증명할수 없다는 말임
흐흐 쿠쿠리박사님 오랜만이다공리가 참이라는건 증명할 수 없어도 공리가 거짓이다는 공리계 안에서 거짓인 명제임으로 공리들로 모순인걸 증명 가능함
공리를 p로 한다면 ~p는 p에 의해 모순인게 보여짐
~p를 주장하려면 새로운 공리계를 만들어야함
공리의 정의가 다른 명제에 연역되지 않으며 항상 참으로 여겨지는 명제이므로1 2는 당연한거고
허준이 교수님이 말한 수학은 무모순이기만 하면 된다 라는 말에서 '무모순'이 모순이걸 모순이 아니라고 우기는걸 말하신게 아님
3은 앞에서 말했다시피 모순임
자기 혼자만 주장하는 공리는 의미가 없으니깐요…혼자만 주장하는 공리는
제가 사실 달이 4개인데
빅브라더가 이 사실을 숨기고 있다고 주장하는 거랑
다를 게 없으니깐요…?