러셀의 역설 해결함
게시글 주소: https://dev.orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이미지 김범준 1 0
확통 4점을 맞추고 싶어서 기출하면서 이미지 미친개념, 김범준 스타팅블록 둘 중...
-
서프 국수영 후기 2 1
국어 독서 불 문학 무난 언매 까다롭 수학 2611 깔에 비킬러 강화? 영어 71점이 어케평가하겟슴
-
오늘은 학교 수업에서 강간에 대해 토론함
-
아이언을 넘는 래퍼가 없네 2 0
아으
-
16cm보다 큰사람만 댓글 달아주셈 22 4
기억해둘게요
-
Mt랑 알바랑 걉쳐요 사장님 2 1
말하면 하루 빼주실라나..
-
뉴진스 글쓰던사람 ㅇㄷ감 1 0
어원쓰던사람
-
작년대비 시즌1 얼마나 됬나요???
-
국수영 원점수 합 262 15 2
근데조금이상함
-
이거 좀 들어주셈 8 0
소원임 가사도 개조음
-
원래 개학하고 3 0
국어만 파려고 했는데 날 보니까 수학-> 개병신 물2-> 개병신 지1->완전 병신...
-
순공평균3분의사나이 5 2
-
쌉허수의 2503 물1 평가 9 1
굉장굉장히 아쉬운거시 3떴다는거심 화학 왤케 등급컷이 박았냐ㅑ 나중에 해볼께 7...
-
이등변삼각형이나오면 4 0
반으로나누자
-
씨빨 0 1
내일학교가네
-
잠깐만지금수학을풀기시작하면 4 1
12시45분에끝나네 습박습박~
-
4시간휴릅 1 0
스고이
-
파는 갖고 있지 않지만 가능하다면 있었으면 해
-
과외하다보니 느낀건데 0 0
미적분 수2 수1은 잘하는것같은데 뭔가 막히는 문제보면 고1수학이 부족해서 생긴문제들이 많음
-
약간 힙시하다 2 0
약간 legacy가 잇는 그거야
-
서프 정답률 국어 0 0
비재원생이면 정답률 알 수 있는 방법 없을까요? 국어 과목 정답률이 궁금하네요 풀기...
-
중계가 뭐임 2 1
플레이에다가 중계한다는게
-
살려주세요 1 0
심찬우 생글생감 + 마닳 어떤가요?근데 26수능 칸트 같은 거는 이해의 영역이...
-
혹랄하다 0 0
방금 내가 만든 단어임 먼 의미인진 몰름
-
오늘 공부 ㅁㅌㅊ 5 2
수학 n제 15~20문제(허들링) 수학 실모 1개(덮) 과탐 실모 1개씩(덮) 지1...
-
아 이거 개웃기네 ㅋㅋㅋ 13 5
ㅋㅋㅋㅋㅋㅋㅋ
-
챔스 오늘 승부 예측 0 0
뉴케슬 승리로 8강 리버풀 승리로 8강 뮌헨 승 알레띠 승
-
너를 생각하고있어 일본어로 3 0
뭐임뇨??어디선가 들어봣는데 아나타오 캉가에테 말고 다른거
-
인생망했네 0 1
에휴시발
-
이개다 한지 2강 수강완 2 1
아주 좋아용
-
쎈 언재쯤 재입고 될까요? 3 0
지금 수1 품절됬는데 언재쯤 재입고 되나요?
-
영어 공부 막막하... 1 0
영어 제일 약한 과목이라 어떻게 공부해야할지 감이 안잡혀요,.ㅜ 현역때 크게...
-
수열 ㅈㄴ 싫음 4 3
수열 251122식 노가다 문제가 n제에 나올때마다 문제집을 불태우고 싶음
-
양승진 수코 vs 김범준 스블 0 0
재수생 작수 미적 3등급 입니다. 스블 문제들도 어렵다고 해서 기출 문제 풀려고...
-
개념양 동사 한지 3 0
뭐가 더 많음?
-
대학 그냥 다니면서 한번 봐볼까 하는데 독학으로 공부할만한 교재같은거 추천해줄수...
-
좋은 강사는 많은데 0 2
걍 시간은 없고
-
생윤 잘생긴 개념 후 잘노기 0 0
올해 생윤 처음 하는 현역입니다. 이번주에 김종익T 생윤 개념강의 완강할거같은데,...
-
수학 기출 추천해주세요 0 0
스불+기출 같이 하려는데 뭐가 좋을까요 ㅜㅜ 일단 강영찬 엗온 생각 중입니다....
-
토익700 수능등급 2 0
어느정도인갸용
-
반수 조언 좀 해주세요ㅠㅠ 0 0
작수 현역 52443 화작미적세지사문했고 수시러라서 최저만 맞추는 공부했는데요...
-
메가패스 존나 비싸네 5 0
n수생 할인 받아도 50만원 넘는게 말이 되는건가 이거
-
심심해서 쓰는 강사 후기 (2026.03.18) 2 4
오르비 업데이트되고 글 수정 오류 때문에 더이상 기존 글 수정을 못해서...
-
황밸식공부 2 1
영어비중 좀 늘림
-
더프 오답율이 너무 낮긴함 0 2
국어 ㅇㅇ 컷은 생각보다 높을듯 오히려 영어가 더 높은거 같기도
-
정월대보름님의 장례식입니다 11 3
제가 밀었습니다
-
내가없는사이에 12 0
재밌는떡밥이라도돌앗냐
-
왜 이미 집인거지 7 0
집가고 싶은데
-
암튼그런것임;;
-
아 ㅅ비ㅣㄹ 숙취 2 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를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.