집합론을 대체하게될 "대상이론"
이게 대상이론이고
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를 선물하세요.
-
주의) 디시발 행동하는 양심이지만 버러지인 놈들이라 글이 좀 더러울수 있음.....
-
https://namu.wiki/w/%EC%84%B1%ED%8F%AD%EB%B2%95...
-
그리고 최초 발견자는 디시에서 2000추를 넘게 받음. 도메인 받은것도 이사람...
니 뭐야?
어떤걸 물으시는거죠
저런건 검증받고싶으면 대학교수한테 물어보셍
대학교수한테 박살날까봐 안함