집합론을 대체하게될 "대상이론"
이게 대상이론이고
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를 선물하세요.
니 뭐야?
어떤걸 물으시는거죠
저런건 검증받고싶으면 대학교수한테 물어보셍
대학교수한테 박살날까봐 안함