집합론을 대체하게될 "대상이론"
게시글 주소: https://orbi.kr/00069327260
이게 대상이론이고
https://orbi.kr/00069306569
이게 공집합이 없는 이유고
https://orbi.kr/00069308678
여기서는 어떤분이
A ⊆ B ⇔ (∀x)[(x∈A) → (x∈B)]
라고 헀는데
원소를 모두 부분집합으로 바꾸니 모든집합의 원소가 없어지고
공집합만 남게되는데
공집합 끼리는 A ⊆ B ⇔ (∀x)[(x∈A) → (x∈B)] 가 성립하지 않음
왜냐하면 x가 없기 때문임
공집합이 공집합의 부분집합인 이유는
공집합과 공집합의 교집합이 공집합이기 때문임
어쨋든 원소와 집합을 집합으로 일원화 시키면 모든게 공집합이 되버리고
공집합이 없다고 했으니 집합론이 사라지는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
방금 솔텍 part2 하루만에 다 풀었는데 중심별 시선속도 부분 상당히 빡세고 배워갈 부분이 많네요
-
내가 개념서 달달 해봤자 진짜 완전 암기문제가 아닌이상 좀만 퍼즐 좀만 꼬아서 내도...
-
아
-
민증나왔다 3
히히
-
남들실모 벅벅할때 눈물이광광
-
실모로 60문제 공통모로 22문제 N제로 20문제 가끔 수학이 마려운 날이있음...
-
생명은 작년에 안해서 그렇다지만 지구는 내신까지 3년차인데 실력이 왜...
-
수학 1컷이 130에 95면 1컷 92아닐 가능성도 잇지 않ㄴ나..
-
모고에서 독서론 포함 언매까지 거의 항상 20분 걸리는데 많이 늦는건가요?
-
살려주세요 8
국어물리 빼곤 건드릴 수 없어요 하기 싫게 생겼어..
-
a곱b곱c곱=16의 조건을 만족시키는 자연수 abcd순서쌍 수 15
3H4? 4H3?
-
검색기록 쉽지않음 이거 공개되면 내 장례식장에 온 사람들 내 영정사진 흘겨보면서 돌아갈듯 ㄹㅇ
-
예전글들 들어가보면 프로필이 안뜨는 분들도 계시더라구요? 근데 그런분들이 엄청...
-
사탐하자그냥시발..
-
그러면 감청해도 모르지 않음?
-
6평 15분 9평 18분 걸리는 난이도였음 그런데 블랭크가 아니라고?
-
사계론에서 자연권이랑 자연법이랑 같은 의미로 봐도 되나요..? 어디서는 자연권이라는...
-
친지 꽤 됐는데..
-
오체 씹만족 1
해응으
니 뭐야?
어떤걸 물으시는거죠
저런건 검증받고싶으면 대학교수한테 물어보셍
대학교수한테 박살날까봐 안함