러셀의 역설 해결함
게시글 주소: https://orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수능 안보기로 결정해서 완전히 양도합니다. 거의 듣지를 않아서 새상태 가깝다고...
-
전 물2러지만 세사러들 존경함 2 1
도대체 그걸 다 어케외우노
-
이 가사 왜 익숙하지 실모 필적확인란 문구였나 아니면 오르비언 닉네임이었나 분명 어디서 본적 있는데
-
제 84수 후지와라노 기요스케 永らへば また此頃や しのばれむうしと見し世ぞ 今は戀しき...
-
니노막시무스 카이저쏘제 6 0
쏘냐도르앤 스파르타~
-
생각해보니 8 0
집구석에만 있던 20대가 아깝다.. 가장 아름다울 시기인데.,.
-
왜케 조용하지 0 0
다들 나 몰래 뒷공부 하고있지
-
뉴런 들어본 사람 6 1
뉴런이 기출교재임? 답지없고? 그러면 내가 원래 기출 풀어보려해ㅛ는데 그거 1차를...
-
뭔가 억울하다 4 1
왜 나만 생일에 메인 안보내주는건데
-
공부는 내일부터 0 0
다이어트는 다음달부터
-
오뿡이들 내가 경멸하는 거 알지 ? 16 1
잘자.
-
뉴런 0 0
수1 수2 확통 중 머들을까여 6모이후에 듣는게맞나싶긴한데 걍안듣는 선택지두잇고
-
5/16 학습 기록 2 0
기상 시간 6:30 총 학습시간: 9시간 31분 42초 국어: 유신T 독서 14주차...
-
38번 우콘 忘らるる 身をば思はず ちかひてし人の命の をしくもあるかな 이 몸 잊힌들...
-
자습 끝 1 0
휘유~ 오늘은 30분 일찍 끝남 집가서 운동하고 야식 만들어야지
-
현장에서 1번만이라도 2 0
수학 원점수 92 이상을 받아보고 싶다...
-
강e분 언매 좋다는데 어떻게 들을 수 있나요? 메가스터디에 검색해봐도 뭔지 모르겠음...
-
애사비 0 0
먹어
-
수능보면 4~5나올거같은데 2컷까지 올릴 스 있음? 3 1
재능이심각하게없음
-
생각할수록 고대 열받네 2 0
아니 과탐으로 4합8 맞춰줬으면 붙여줘야 하는 거 아니냐 ㅅㅂ 자연계열에 사탐...
-
엔서바 1회 물리 지구 2 2
찍맞 타율 왤케좋지
-
갓반고 10 첫내신 0 0
첫 중간고사 1.8(6과목) 정도인데 벌써부터 멘탈 흔들려서 정시 생각하고 있는데...
-
상대적 박탈감 vs 0 0
대박적 상탈감
-
드릴 기하 10 0
이제 기출 다 봤는데, 혹시 드릴 기하 어떤지 알려주실 수 있으실까요? 뭐 예를...
-
반씨전 오류 2 0
유튜브에 박광일? 이분이 오류인 대목 있다고 영상 올리셨던데 오류 맞나요? 그...
-
여기 엄마는 ㄴ이 나타났는데 아들은 ㄴ이 없죠? 그러면 ㄴ은 반성 열성은...
-
6모 전 수학 1 0
미친개념 완강했습니다. 6모 전까지 미친개념 예제랑 워크북 회독하면서 N티켓하려고...
-
국스퍼거 수험생됨 4 0
아 ㅋㅋ
-
점점 화학이라는 학문이 일반인 사이에서 지나가다 본 똥같은 인식이 되가는 것 같아...
-
똥오줌을 변기에 넣고서 내려 2 1
그것이...'변기'니까.
-
언매 미적 사탐 2 1
의대 보통 어디까지 가나요? 문과에서 단기간에 의대 붙었던 저번 .. 좀 옛날...
-
깐@suck 님? 2 2
흠
-
개인적으로 2 0
국어 지문 중 경제지문은 다른 지문에 비해서 양으로 실력을 많이 올릴 수 있다고 생각함
-
자야지 8 3
훠어어ㅓ엇
-
12번까지는 끙끙거리면서 풀만함 13,14,15는 포기 20까지도 끙끙거리면서...
-
이정도 갓반 있음..? 4 0
딴데서 봤는데 이런 고등학교가 있음..? 수학은 동석차 그럴수 있다 치는데 국어...
-
https://orbi.kr/00078401356/6%ED%8F%89%20%EB%8C...
-
그것은 바로 [무료배포] FOCUS 모의고사!! _ 수학 하프모고...
-
ㄱㄱ
-
그렇지 않은가 아닐수도
-
다음 문제의 정답 번째 댓 오천덕 12 1
-
moron - 저능아
-
여기, 오늘은 원시인을 한 명 소개해볼까 합니다. 주 서식지가 오르비인, 현생인류에...
-
정시에서 선택과목 지정 서울대 0 0
이과 정시에서 미/기,과탐 지정해놓은 학교 서울대밖에 없나요?
-
딱 계획하는게 0 1
27로 성불->학교생활 전념 27로 성불 실패->입대->통합수능 공부
-
20260516 8 3
다음주는미적을많이
-
미시경제학이라는말야한거같음 4 3
로리경제학은없나
-
와 ㅁㅊ 2 0
살까
-
-
배달시켜먹고 싶다.. 0 0
하지만 그럴 돈으로 닭가슴살, 그릭요거트 사면 식비도 아끼고 클린식단도 지키고
집합론의 공리상 모든 집합은 자기 자신의 부분집합이므로 말씀하신 대로라면 '자기 자신을 부분집합으로 갖지 않는 집합 u를 부분집합으로 하는 X'는 공집합일 것입니다.
자기자신을 부분집합으로 갖지않는 집합이란말 자체가 틀린거아닌가요?
네, 그런 집합이 존재하기 때문에 X는 공집합이 되고 러셀의 역설을 해결하지 못하게 됩니다.
자기자신을 부분집합으로 갖지않는 집합이 왜 존재하는거죠?
모든집합은 자기자신을 부분집합으로 가지는거 아닌가요
댓을 잘못 적었군요,,,,,
자기 자신을 부분집합으로 갖지 않는 집합이 없기 때문에 X은 공집합이 되지요
u ⊆ X <-> u ⊄ u
에서 우변이 거짓, 따라서 좌변도 거짓이어야함
u는 존재하지 않으므로, 존재하지않는 u가 X의 부분집합일수 없음
따라서
거짓 <-> 거짓 양변의 진리치가 같아서 동치다.
라고하면 안되나요?
양변의 진리치가 같다고 해서 둘이 동치라고 할 수는 없기 때문에...
동치라는게 진리치가 같다는말 아닌가요?
찾아보니 논리적 동치라는 게 있더군요. 사실 제가 논리학을 제대로 배운 적이 없기 때문에...그 부분은 인정합니다.
다만 u ⊆ X <-> u ⊄ u 의 논리적 동치 관계가 러셀의 역설을 해결하는 방법이 되지는 못할 것으로 보입니다. 왜냐하면 여기서 u에 X를 넣으면 어차피 똑같은 모순 관계가 나오니까요...
애초에 기존 러셀의 역설의 우변, 즉
X ∉ X 이 식을 러셀이 우변에 넣은 이유는
X ∉ X 라는 관계가 가능했기 때문아닌가요?
그런데
X ⊈ X 이건 처음부터 가능하지 않잖아요
u ⊆ X <-> u ⊄ u 가 다소간에 논리적 동치로서 참이라고 생각하신다면 u에 X를 넣어도 문제 없다는 결론 또한 받아들여야 하지 않을까 싶습니다.
어쩌면 u의 성질을 가지는 것이 존재하지 않음을 알고 있음에도 u를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.