Codex Wiki
OurBigBook.com
Site
Source code
Reasonable set
...
Area of mathematics
Foundations of mathematics
Set theory
Cumulative hierarchy
Transitive closure
Hereditarily countable set
OurBigBook.com
Words: 23
A set
x
is reasonable when every member of
TC
({
x
})
is countable. In ZFC this is equivalent to
x
being
hereditarily countable
.
Ancestors
(8)
Hereditarily countable set
Transitive closure
Cumulative hierarchy
Set theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Solution