러셀의 역설 해결함
게시글 주소: https://orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
폐급 수의대생 질문받습니다 0 0
뭐 대단한 새끼도 아니고 정시로 기어들어와서 저공비행중이지만은 받아봅니다 왜사냐...
-
D-110 1 0
집 갈래요
-
주제별기출은 이제 다풀었는데 연도별기출 이거 유기하고 기출스프린트 풀어도 될까요?...
-
인강을 들었다안들었다 하니까 0 0
머릿속에 들어오는게 없네 그냥 다른거 좀 못하더라도 기간 딱 정해서 깔끔하게 끝내는게 맞는듯
-
제발 도와주세요)일반화학 오비탈 개념 너무 어려운데 도와주실분 0 0
지피티와 1시간 30분을 이야기했지만 이해가 안돼요 줌달을 읽어봐도 이해가 안돼요...
-
공부잘하고싶은분 필독 0 0
저인지 헷갈리지만 마이크 잡았으니 뼈 때리는 한마디 하겠습니다 다름이 아니라 여러분...
-
난 걍 뭐든 안 됨 2 0
키도 얼굴도 능지도 돈도 노력도 다른 재능도 암것도 없다
-
오늘스벅레전드.. 3 0
-
국민대 정시 입결 떴는데 0 0
환산점수 안까는거면 의미가 있긴할까? 일부 표본 기준으로 스펙트럼 추론해보자 문과는...
-
진짜 정적분 0 0
악마같네
-
D-5 2 0
-
국어황님들께 현대시 도움 요청 0 0
조지훈, 눈이 오는 날에 박 넌출 상기 남은 기울은 장독대 위로 새하얀 눈이 나려...
-
축제시즌이군 7 0
-
오늘 안내 받았는데 모든 센터에 적용되는건 아닌거 같고 일부 센터중에 주3일...
-
이삭 두 개 먹었는데 배고프네 25 2
신라면 블랙까지 먹으면 안 되겠지 참자
-
^^ 5 1
-
ㅇㄴㅊ 1 0
-
하............. 0 0
독서 공부하고 존나틀린날에 찝찝함을 참을수가없음 문제점파앋하고 피드백하고...
-
ㅇㅇ...
-
강대vs러셀(장학) 2 0
러셀은 서의치반이고 강대 스투랑 강남역에 있는 강대 붙었습니다 러셀 서의치반은 시대...
-
6모전 영어 빈칸 자작 0 0
영어
-
미적분 27번 자작문제 1 0
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
반수 국어 커리 3 1
작수 4등급이고 6,9모는 3등급이었음. 작년에는 김승리 커리 탔는데 올해 강민철...
-
냉정하게 내가 사탐으로 고반을 1 2
작년 같았으면 빵이라도 크게나서 갔을 가능성이 있겠는데 올해 과연 그정도 운이라도...
-
아니 진짜 대체 왜 5 3
8자줄넘기를 못하는 놈들이 있는거지
-
과탐 수특 왤캐빡셈 27 2
사탐가져오셈....이건아니지
-
으으
-
망갤테스트 2 0
-
그럼 만나는 주기를 어떻게 해야할까요...
-
더워서 진짜 아무것도 하기싫음 1 0
ㄹㅇ
-
이게뭐죠 ?
-
일단 짜증이 올라옴 ㅠ
-
요즘 1일 1실모도 아니고 1일 1스토리 올리면서 관종짓중인데 안 올리면 불안하고...
-
내신 기출 얻는 법 1 0
과학고나 영재고 내신 기출을 얻고 싶습니다. 혹시 얻는 경로를 아시나요?
-
식단1일차.. 4 0
배고팡
-
5.18이네 7 2
-
수학 n제 순서 1 0
이해원n제 시즌1 설맞이 시즌1 설레임 드릴 지인선 풀순서좀알려주세요(2027난이도 기준)
-
15 21 22 28 30못풀 29틀인데 6평 치면 얼마나 나올 거 같나요?
-
인스타 아이디 적어드림 7 1
일단부르셈.빨리
-
늦은 5모 인증 4 0
현역 내신 2.15인데 수시 버릴까?? 물리는 사문으로 바꿨는데 개념 완강 못해서 쳤음ㅜㅜ
-
서바시즌때 라이브 교재비포함 가격 어느정도 하나요? 0 0
국어 수학 영어 사탐 얘네 각각 달에 얼마정도 할까요
-
과외 구합니다 6 0
모몽가가 되는 법 과외해드림
-
님들아 궁금한거 있음 4 0
남자 기준으로 26살 대학 졸업하자마자 바로 좋은 회사 칼취업하면 상위 몇퍼임?
-
-
수학 1등급인 분만 7 0
-
휴 2 1
공부 끝
-
구쏘개 돌아와 7 3
어디갔어ㅜ
-
"5·18에 탱크데이?" 스타벅스, 민주화운동 폄훼 논란에 "진심으로 사과" 11 3
[서울=뉴시스]김상윤 기자 = 스타벅스가 제46주년 5·18민주화운동 기념일 당일...
-
현자의돌 사야지 4 2
읏흥
집합론의 공리상 모든 집합은 자기 자신의 부분집합이므로 말씀하신 대로라면 '자기 자신을 부분집합으로 갖지 않는 집합 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를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.