Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
first_infinite_von_neumann_ordinal [2020/05/01 01:17] nikolaj |
first_infinite_von_neumann_ordinal [2020/05/01 12:24] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| | @#FFBB00: definiendum | @#FFBB00: $ \omega_{\mathcal N}$ | | | @#FFBB00: definiendum | @#FFBB00: $ \omega_{\mathcal N}$ | | ||
| | @#55EE55: postulate | @#55EE55: $ \emptyset\in\omega_{\mathcal N}$ | | | @#55EE55: postulate | @#55EE55: $ \emptyset\in\omega_{\mathcal N}$ | | ||
| - | | @#FFFDDD: for all | @#FFFDDD: $ n\in\omega_{\mathcal N}$ | | + | | @#FFFDDD: for all | @#FFFDDD: $ n. n\in\omega_{\mathcal N}\leftrightarrow$ | |
| | @#55EE55: postulate | @#55EE55: $ n = \emptyset\ \lor\ \exists (k\in\omega_{\mathcal N}).\ n = {\mathrm{succ}}\ k $ | | | @#55EE55: postulate | @#55EE55: $ n = \emptyset\ \lor\ \exists (k\in\omega_{\mathcal N}).\ n = {\mathrm{succ}}\ k $ | | ||
| | @#FFFDDD: for all | @#FFFDDD: $ m\in n $ | | | @#FFFDDD: for all | @#FFFDDD: $ m\in n $ | | ||
| | @#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 $ | | ||
| - | | @#FFFDDD: for all | @#FFFDDD: ... | | ||
| ----- | ----- | ||
