러셀의 역설 해결함
게시글 주소: https://dev.orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
³¹⁴ 1 0
¹⁵⁶²⁷²⁸
-
아 내일 9시수업인데 2 0
또 지각하게 생겻네 하 십ㅋㅋㅋㅋㅋ
-
요즘 코인 슬슬 오르는데 6 0
님들 업비트 ㄱㄱ 드갑시다 여러분
-
피어엑스는 2 1
상체 똥이 아래로 제대로내려오네
-
난 생태계주의적 관점에서여자,남자,동물,식물 모든 것에 자상함잘 때도 달님한테 인사하고 잠
-
잔다 0 0
.
-
6시에는 인나야함 6시에 못 인난다 난 그럼 첫 수업은 걍 안 가 차피 가도 늦어
-
추일서정 0 1
26수능 성적표는 폴－란드 망명정부의 지폐 포화(砲火)에 이즈러진 도룬 시(市)의...
-
심찬우 + 국정원 0 0
심찬우 국정원 병행하려는데 병행 커리 설명해주는 영상 유튜브에 있지 않았나요?...
-
전 멘헤라정병지뢰녀임 4 0
그래서 아직 잠도 안 자는거
-
아ㅃㅏ 안잔다 1 0
엉
-
3덮입니다 2 0
우리 오늘은 동경하지 맙시다
-
다크써클 진해진채로 2 0
눈도 제대로 안 뜨고 학교가기
-
자는사람 손들어보세여 4 0
-
시립대 1 1
오! 아름다워라 눈부신 세상
-
ㅇㅇ
-
시립대 물리학과 1 0
쓸걸그랬나
-
2016년에 난 6살이엿지 1 0
어릴 때 난 어렸지
-
국어는 베이스 있는지 없는지 유무 어케 판단하는지 궁금해요
-
학교가야지 1 0
진짜잘게ㅜ
-
꼭지켜줄거라 2 2
난다짐했어
-
잘자 내일도 화이팅 3 0
예
-
-
헬스를 왜함 6 1
한다고 뭐 안달라짐
-
약대 라인 4 1
대체 어떻게 되는거임? 어떤 입시상담하시는분은 에리카가 작년 언미사지 기준으로 98...
-
삼두는 머해야하는 거지 4 0
헬린이라 모름
-
약대 ㅈㄴ 높아버이네.. 0 0
교육청 국어 풀다가 오늘 삐끗했는데 교육청 따위에서 삐끗했다니......
-
3모 떨려요 2 0
첫 고3모..
-
숭실대 그렇게높음? 8 1
33333으로 못감?
-
국민대 전자 0 0
아마 이대로면 여기로 옮길듯
-
죄송해요 열심히 해볼게요..
-
쎅스하고싶다 4 0
ㅇ
-
수학 올려서 5 0
냥컴점수는 만들고싶은데
-
첫글이네요 5 0
졸려요 잘게요..
-
마사니 렌아이사이반 4 0
키미와보쿠니 도레쿠라이노 츠미오토우
-
헤어나오지모태 1 0
니소식들린날은더
-
구구덕 하고싶어 5 0
근데 친구없어서 못함
-
9모때 화학 지엽 공부하다가 3시간잤는데 국어는 잘보고 수학/물리 박음 평소...
-
백넘버 내한하네 0 0
ㄷㄷㄷㄷ
-
비둘기는 0 0
반수머신
-
빨리 엔제풀래 1 0
개념기출 재미없어
-
모의고사치고집오면 1 0
너무피곤하고허리아파서빠른채점입력해버리고 바로저녁먹기전까지잠
-
모고는근데 1 0
덜자고 치는게 맞음 최악의 상황을 연습해야지
-
심찬우 들으시는분들 0 0
생글생감 후기좀요.. 지금 듣기엔 너무 늦으려나요? 글고 기테마는 필수인가요
-
4시간 자고 시험치는건 4 0
오랜만이네
-
G2 TSW도 보고잘까 1 0
흠
-
이기적인 놈 0 0
3덮이 망해도 좋다 이거냐
-
이글을쓰는건 지금의 내가 아님 4 0
왜냐하면 임시저장된 글이기 때문임뇨.. 고로 당신은 n일전의 나를 보고있는것..
-
인생망한옯붕이 자러감 ㅜ 6 0
ㅂㅂ
-
진을 왜했냐 1 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를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.