러셀의 역설 해결함
게시글 주소: https://orbi.kr/00077781322
자기자신을 원소로 포함하지 않는 집합을 포함하는 집합
이게 모순이란건데,
∈ 대신 ⊆를 쓰면 해결됨
u ⊆ u 이기 때문에,
u ⊆ X <-> u ⊆ u
자기자신을 부분집합으로 포함하는 집합을 부분집합으로 포함하는집합
X ⊆ X <-> X ⊆ X
가 되어서 모순이 없어짐
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#07년생#08년생#독학생 오르비의 주인이 될 기회 37 40
-
중학교 입학하고싶다 2 0
.
-
드디어 오늘 스케줄 끝 1 0
이제 배포모 풀어야 되는데 왜 11시지
-
하
-
정시러들 답변좀 14 0
님들 수업시간에 몰래 자습할때 눈치봐가면서함? 아니면 쌤 한분한분 말씀드리고...
-
현우진 시냅스 정보 1 0
현우진 선생님 시냅스는 4점 기출인가요? 아니면 제작 문제인가요?
-
정석민 많이 어려움? 0 0
작년에 국어 공부 거의 안했어서 6,9,수능 각각 3,4,5 나왔는데 정석민 괜찮나요
-
3월공부목표 0 0
-
알유 레디 2 0
아임 레이디
-
내일부터는 진짜 6 0
제대로 살게요
-
연세대식 점수 어디서 계산하나여?
-
ㄱㄱ
-
요즘 무슨 영화가 유행임 19 0
그냥 궁금한것임
-
[생1 기출/N제 저자] 수능 생명과학1 과외 모집 0 0
* 자세한 문의는 아래의 링크를 통해 연락 바랍니다....
-
과외 끝... 4 0
오늘은 자취방 안가고 본가로
-
김범준 스블 페메 2 0
스블할건데 페메도 시켜야 해? 페메 어때?
-
ㅜㅜ 8 0
ㅜㅜ
-
과팅 나가야지 6 0
구라임
-
재수 죽고싶다 4 1
시간 ㅈㄴ 안가네 으아
-
일반선택 독학 무리임요? 1 0
일반 물 화 생 독학 무리죠? (노인강) 통과는 그냥 오투 개념읽고 독학했는데
-
고능해지고싶다 ㅠㅠ 1 1
하.. 내가 진짜 고능했으면 화2생2로 설의 쟁취했겠지
-
반수생 수학 커리 평가 0 0
이번에 수리논술 노려보는 반수생입니다 공통에서 15, 21, 22 미적에서 28,...
-
계획 어떤가요? 18 2
수학이 심각하게 망한 것 같으니 3월 한 달은 언매인강 문풀만 남겨놓은거 듣기 화학...
-
아 오늘 스시 오마카세 먹고옴 2 0
먹은 기억은 없지만 어쨌든 먹고왔어...
-
왜이렇게 빨리 줄어드는건가요 2 0
-
내 통장잔고임 7 0
그런것임!!
-
음오늘도못생겻군. 6 0
으아.. 거울을없앨수도없고...
-
블핑 신곡나왔었네 2 1
헐
-
수학N제 문풀량 2 0
보통 N제들이 요일별로 풀문제들이 나눠져있고 대략 1일당 15~17문제정도 되는거...
-
이기적인 놈 2 1
오르비가 망해도 좋다 이거냐
-
지금 룸메랑 말 한마디도 안 했는데 이거 어케해야하냐 4 0
하.. 숨이 턱턱 막힌다
-
학교 재밌다 0 1
개강 재밌어 음음
-
반배정 진짜 개말아먹었네
-
고1 3모 어떡해야 하나요 4 1
개인적인 사정 때문에 3모를 진짜 잘봐야 합니다 수학을 최근 5개년도 기출까진...
-
새학기 기념으로 쓰는 "이상적인 정시파이터 커리큘럼" 1 6
저자 소개 저는 3학년 1학기까지 학종러였다가 돌연 독학으로 준비한 수능으로...
-
맞팔할사람 1 0
고고
-
밖은 위험해 3 0
좀만 걸으면 돈이 없어져. 그리고 천원이 10개면 만원임 ㄹㅈㄷ 한끼에 만원이뜯겨
-
김과외이력서 2 0
못쓰겠어서 그냥 학원알바지원함
-
반수 성공률 0 1
희박한데 하고싶어
-
오늘드디어딴짓안하고공부좀함 7 2
지난2주간 어제오늘이 제일열심히함 공부 5시간.. 2주동안얼마나쳐놀았냐는팩폭은 ㄴㄴ
-
너무 슬프다 0 0
오르비에 과외 올렸던거 문의와서 상담하고 왔는데 아무리봐도 사이비라 그냥...
-
어제돈을너무많이씀 5 2
두끼나밖에서먹었더니
-
의대 과외 7 0
예1땐 주말정도에 과외돌릴만 한가..?
-
개강하니까 힘들다 0 0
그래도 첫날이라고 일찍 끝내주신 분들덕분에 버틸수 있었음...
-
확통 무기백 vs 수분감 1 0
성은쌤과 의리를 지키고 싶은데, 나중에 뉴런할거면 수분감 하는게 나을거 같기도 하고.....
-
현역정시담임 3 0
담임쌤이 오늘 수시든 정시든 다들 전략이 있을거니까 자기한테 상담할 때 말해당라...
-
랑데뷰 BLACK 미적 0 1
랑데뷰 싱크로율99% 모의고사가 출간되었습니다.출고될 쯤 글 올리겠습니다.
-
수1을 해야하는데 1 0
삼각함수 <<이새기 왤케 노잼이지
-
현타온다 13 2
지방에서 독학n수 박아서 서울 올라왔는데 내가 평생 ㅈ뺑이쳐도 못 얻는 걸 여기...
-
너가 단발이 좀 더 어울렸다면 1 0
니 타투가 이레즈미 아녔다면
-
가사만 보고 노래 맞추기 2탄 2 0
1. 상처를 치료해줄 사람 어디 없나 가만히 놔뒀다가 끊임없이 덧나 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를 서술의 주체로 삼아서 서술하는 것 자체가 문제가 될 것 같기도 합니다...제가 전문가가 아니기 때문에 정확하지 않습니다.