Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Mostowski collapse theorem

Every well-founded extensional relation is uniquely isomorphic to membership on a transitive set.

Ancestors (7)

  1. Order type
  2. Ordinal
  3. Set theory
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home

Incoming links (1)