Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
first_infinite_von_neumann_ordinal [2014/12/27 19:42] nikolaj |
first_infinite_von_neumann_ordinal [2015/02/03 09:57] nikolaj |
||
---|---|---|---|
Line 10: | Line 10: | ||
As is common, I'll also use the symbol $\mathbb N$ to denote the set theoretic object $\omega_{\mathcal N}$. | As is common, I'll also use the symbol $\mathbb N$ to denote the set theoretic object $\omega_{\mathcal N}$. | ||
- | ==== Discussion ==== | + | ----- |
=== Idea === | === Idea === | ||
This is probably the most straightforward way to set up a countably infinite set. | This is probably the most straightforward way to set up a countably infinite set. | ||
Line 36: | Line 36: | ||
[[https://en.wikipedia.org/wiki/Axiom_of_infinity|Axiom of infinity]], | [[https://en.wikipedia.org/wiki/Axiom_of_infinity|Axiom of infinity]], | ||
[[https://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers|Set-theoretic definition of natural numbers]] | [[https://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers|Set-theoretic definition of natural numbers]] | ||
- | ==== Parents ==== | + | |
+ | ----- | ||
=== Requirements === | === Requirements === | ||
[[Empty set]], [[Successor set]] | [[Empty set]], [[Successor set]] |