in set theory, well-founded means…
- there’s no set of all sets
- instead, there’s an infinite hierarchy of stratified sets
- “small” sets at stratum \(0\)
- the set of all stratum \(0\) sets is a stratum \(1\) set
- the set of all stratum \(1\) sets is a stratum \(2\) set
- …