Codex Wiki OurBigBook logoOurBigBook.comSite Source code
The rank is defined by
It is the least ordinal for which .

Ancestors (6)

  1. Von Neumann hierarchy
  2. Set theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home