Countable set
Collection
definiendum
$X\in$ it
exists
$f:\mathbb N\to X$
postulate
$f$ … surjective
Discussion
Parents
Requirements
Surjective function
,
Natural number