Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
first_infinite_von_neumann_ordinal [2015/02/03 09:57] nikolaj |
first_infinite_von_neumann_ordinal [2015/10/26 21:04] nikolaj |
||
---|---|---|---|
Line 8: | Line 8: | ||
| @#55EE55: postulate | @#55EE55: $ m = \emptyset\ \lor\ \exists (k\in\omega_{\mathcal N}).\ m = {\mathrm{succ}}\ k $ | | | @#55EE55: postulate | @#55EE55: $ m = \emptyset\ \lor\ \exists (k\in\omega_{\mathcal N}).\ m = {\mathrm{succ}}\ k $ | | ||
+ | ----- | ||
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}$. | ||
- | ----- | + | {{Infinite_Jest.jpg?X800}} |
=== 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. |