Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A set is reasonable when every member of is countable. In ZFC this is equivalent to being hereditarily countable.

Ancestors (8)

  1. Hereditarily countable set
  2. Transitive closure
  3. Cumulative hierarchy
  4. Set theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. Home