러셀의 역설 해결함
게시글 주소: https://orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 40
-
날 좋아해줘 3 5
아무런 조건 없이
-
[윤서결]임 [윤성녈]임 2 1
순수한 표준 발음법 공부입니다
-
공부하려고만하면 3 0
마음이 심란해지네
-
내일 점심식사 17 1
급식충이 될거얏
-
사차함수 4점(3) 2 2
-
공대까지 와서 계속 방정식 풀고 있으니까 우울해지네요,, 수학이 내 인생 망쳤는데...
-
평가원이 직접 쓴 해설 가져옴 0 2
https://www.suneung.re.kr/sub/info.do?m=0401&s=...
-
ㅈㄱㄴ
-
오르비잘자.. 4 0
-
플레이 놀러오세여 2 0
제가 수학 푸는중입니다
-
고1인데 이게 맞냐 4 1
우리학교는 내신 답없다고 논술 준비하라는게 맞냐 첫날부터 그리고 자기가 시험문제를...
-
민주주의 국가인 만큼 다수결을 따라야겠죠? 독타입 챌린지 시작해보도록 하겠습니다....
-
나도 공부를 하고싶은데 7 0
이렇게 보여서 못한다는것임!! 그래서 오르비만 하고있다는것임... ㅠㅠ 안하고...
-
여기서 왜 f(x)>=0이어야 해요? S’(x)=f(x)니까 f(x)가 음수면...
-
26요청)함께 공부할 분을 선착순 모집합니다 11 42
안녕하세요, 비드그램입니다 공부하기로 마음 단단히 먹으셨다면 아무래도 함께 공부하는...
-
이글 메인가면 여장인증하겠습니다 14 71
진심입니다
-
미적분 26번 자작문제 2 1
-
언매 1황은 누구인가 2 0
손창빈vs전형태 그외는 고려 xx
-
슬대생 개웃기네 1 2
어제 착장 어떠냐는 똥짤 낚시글 올라왔는데 ai가 착장 어쩌고 하면서 글 올림 ㅋㅋ
-
아무리 생각해도 내가 왜 수학을 배워야하는지 모르겠음 3 0
누가 나 설득좀
-
뉴비 맞팔구 7 0
-
설수리가서 특정할거야 4 1
기다려라!!
-
만약에 설국문가면 특정당하냐 2 1
이래서 안가는거임ㅇㅇ 성적 때문에 못가는게아니다
-
이 성적으로 삼수해도 됨? 9 0
미필 남자인데 지잡대 다니다가 지거국 가고 싶어서 1학년 2학기 휴학하고 반수했음...
-
힝
-
의대 본과 선생님들 도와주세요 2 0
예과 2학년 때 하는 기초약리학, 기초생화학, 분자유전학, 생리학 나중에 다...
-
근데 교육청 모고 성적표에 1 0
1~29 xxxxxxx되어있고 30번만 o적혀있으면 개간지일듯
-
위기입니다
-
국어 공부법 봐주세요 4 0
자퇴생이고 미대준비생이라 국어 탐구가 제일 중요해요 오전에는 유대종 쌤 커리...
-
담요덮고 4 2
오르비함
-
리셋 버튼 있음 ㄱㄱㄱ
-
이딴 과목이 수능에 있다고? 미적분 완전 제외 대윤카 기하는 살려두시지
-
디지는줄
-
나 특정당함 ㅋㅋㅋㅋㅋㅋㅋ 14 4
옯접해야겠다 ㅋㅋㅋㅋㅋㅋㅋ
-
안암 길거리 돌아다니면 1 0
실시간으로 기가 쪽쪽 빨리는 느낌임 지옥도가 따로 없음
-
혹시라도 진행상황이 궁금하다면 플레이 들러보셈
-
내가 진짜로 의외로 받은 상 10 1
어떻게 상 이름이ㅋㅋㅋㅋ 양성평?등ㅋㅋ글쓰기대회ㅋㅌ 페미 아님;
-
수학커리 훈수좀 부탁 2 0
약간유베상태 노베라서 첨부터 다시하려고 합니다. 그래서 김기현 파데 수상하 다돌리고...
-
22번이라 하기에 난이도도 퀄리티도 낮지만... 욕심내서 22번이라 하였습니다....
-
자퇴마렵다 ㅠㅠ 0 0
작년 2학기때 자퇴하겠다 말했는데ㅜ담임이 잡아서 못했어 ㅠㅠ ㅈㄴ 후회되네
-
문학청년으로 살고싶다 8 1
근데 주머니가 빵빵한
-
나 의외로 받은상 10 0
교내 시쓰기 대회 상받음 ㅋㅋㅋ..
-
잠온다 2 0
잠이오는것임
-
팔로우가 안늘어나는것임 11 0
그런것임
-
삶이 힘들 때, 내가 걸어가기로 다짐했던 길의 끝이 흐리게 보일 때, 더 이상 내가...
-
중학생 수학 존x어려움 7 0
3모를 봐보셈 킬러로 낼 소재들이 무궁무진함
-
과티리의 생태철학 문제인데요, 답지 상의 답은 1번으로 되어있는데 어떤 국어 강사...
-
9수를 시킨 5 0
엄마를 헉 제목 머지다노
-
그런것이에용..
-
3월 말?
집합론의 공리상 모든 집합은 자기 자신의 부분집합이므로 말씀하신 대로라면 '자기 자신을 부분집합으로 갖지 않는 집합 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를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.