Naïve set theory MOC

The intersection of inhabited nested sets may be empty

Consider a strictly decreasing sequence of inhabited subsets (i.e. such that for ). Then it is possible that naïve

Proof

For example, let

for . Then clearly is strictly decreasing, but every has . Therefore .

However, The intersection of nested inhabited Hausdorff-compact sets is inhabited.

---

tidy | en | sembr