러셀의 역설 해결함
게시글 주소: https://orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
어제 학교에서 3 0
너무 말을 많이 했어요. 힘들었어요. 하
-
아니 립젠 왜 자꾸 리디렉팅됨 4 0
파일좀보자
-
비상비상 1 0
10분동안 글이 안올라왔어
-
국어/N수 관련 질문 받습니다 ^~^ 15 0
평가원 국어 7연속 1등급 (19수능~21수능) 현재까지 수능 국어 과외 60명...
-
대학교 너무재밌다 3 0
헤헤
-
야 댓글달아 2 1
웅
-
그럼 대학에서 지역의사제 노리고 수시원서쓴 30대 40대들을 받아줄 리가 없지...
-
문학청년으로 살고싶다 8 1
근데 주머니가 빵빵한
-
-
하루만에 200만원을 잃엇어요 2 1
저 슬퍼요
-
과외 끝... 4 0
오늘은 자취방 안가고 본가로
-
저차랑 경호원 같이있는 느낌 진짜 개 멋있다 나도 돈 많이 벌어서 저런차 타야지 ㅎㅎ
-
뉴비 맞팔구 7 0
-
신환회 재밌다 3 1
반수하면 이 재밌는 신환회를 또 한다는거지
-
오노추020 0 0
지예아~~ 켄드릭 해브 어 드림~
-
재수 죽고싶다 4 1
시간 ㅈㄴ 안가네 으아
-
강기분 독서 혹시 완강하셨거나 작년에 들어보신 분 조언 부탁드립니다, ㅠㅠ 2 0
지금 강기분 독서 2권을 하고 있습니다. 복습은 진짜 꼼꼼하게 했고 뭔가 실력이...
-
부남짤 2 3
출처: 시대인재N재수종합갤러리
-
그 사람한테 잘보이려고 살 20kg 뺌 아직 더 빼야하지만 말이야...
-
학생증 왤케 귀여워요오 3 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를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.