쿠쿠리 [1310649] · MS 2024 · 쪽지

2024-09-30 07:26:42
조회수 1,846

집합론을 대체하게될 "대상이론"

게시글 주소: https://ebsi.orbi.kr/00069327260

https://orbi.kr/00069316804


이게 대상이론이고

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)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.