Separation for bounded formulas. Every set is in one-one correspondence with an ordinal. The cumulative hierarchy exists on every ordinal. We can optionally add 8. The cumulative hierarchy exists on every ordinal and exhausts every set.
Every nonempty set has an epsilon minimal and an epsilon maximal element.
Separation for bounded formulas. The cumulative hierarchy exists on every ordinal and exhausts every set. This is the 76th in a series of self contained postings to FOM covering a wide range of topics in f.o.m.