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 …