Countable set

Collection

definiendum $X\in$ it
exists $f:\mathbb N\to X$
postulate $f$ … surjective

Discussion

Parents

Requirements

Surjective function, Natural number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms