Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
first_infinite_von_neumann_ordinal [2020/05/01 12:24]
nikolaj
first_infinite_von_neumann_ordinal [2020/05/20 14:23] (current)
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#FFBB00: definiendum | @#FFBB00: $ \omega_{\mathcal N}$ | | @#FFBB00: definiendum | @#FFBB00: $ \omega_{\mathcal N}$ |
-| @#55EE55: postulate ​  | @#55EE55: $ \emptyset\in\omega_{\mathcal N}$ | + 
-| @#FFFDDD: for all     | @#FFFDDD: $ nn\in\omega_{\mathcal N}\leftrightarrow$ | +...
-| @#55EE55: postulate ​  | @#55EE55: $ n = \emptyset\ \lor\ \exists (k\in\omega_{\mathcal N}).\ n = {\mathrm{succ}}\ k $ | +
-| @#FFFDDD: for all     | @#FFFDDD: $ m\in n $ | +
-| @#55EE55: postulate ​  | @#55EE55: $ m = \emptyset\ \lor\ \exists (k\in\omega_{\mathcal N}).\ m = {\mathrm{succ}}\ k $ |+
  
 ----- -----
Link to graph
Log In
Improvements of the human condition