Differences

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

Link to this comparison view

Both sides previous revision Previous revision
hereditarily_finite_set [2015/10/08 13:39]
nikolaj
hereditarily_finite_set [2015/10/08 13:43] (current)
nikolaj
Line 4: Line 4:
 | @#55EE55: postulate ​  | @#55EE55: $\emptyset\in V_\omega$ | | @#55EE55: postulate ​  | @#55EE55: $\emptyset\in V_\omega$ |
 | @#FFFDDD: for all     | @#FFFDDD: $x\in V_\omega$ | | @#FFFDDD: for all     | @#FFFDDD: $x\in V_\omega$ |
 +| @#55EE55: postulate ​  | @#55EE55: ${\mathcal P}(x)\in V_\omega $ |
 | @#55EE55: postulate ​  | @#55EE55: $x = \emptyset\ \lor\ \exists (y\in V_\omega).\ x = {\mathcal P}(y) $ | | @#55EE55: postulate ​  | @#55EE55: $x = \emptyset\ \lor\ \exists (y\in V_\omega).\ x = {\mathcal P}(y) $ |
  
Link to graph
Log In
Improvements of the human condition