# Differences

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

 hereditarily_finite_set [2015/10/08 13:39]nikolaj hereditarily_finite_set [2015/10/08 13:43] (current)nikolaj Both sides previous revision Previous revision 2015/10/08 13:43 nikolaj 2015/10/08 13:39 nikolaj 2015/08/25 22:38 nikolaj 2014/12/06 15:36 nikolaj 2014/12/05 15:19 nikolaj 2014/12/05 15:13 nikolaj 2014/12/05 14:49 nikolaj 2014/12/05 14:49 nikolaj 2014/12/05 14:48 nikolaj 2014/12/05 14:48 nikolaj 2014/12/05 14:48 nikolaj 2014/12/05 14:42 nikolaj 2014/12/05 14:42 nikolaj 2014/12/05 14:40 nikolaj 2014/12/05 14:39 nikolaj old revision restored (2014/12/05 14:34) 2015/10/08 13:43 nikolaj 2015/10/08 13:39 nikolaj 2015/08/25 22:38 nikolaj 2014/12/06 15:36 nikolaj 2014/12/05 15:19 nikolaj 2014/12/05 15:13 nikolaj 2014/12/05 14:49 nikolaj 2014/12/05 14:49 nikolaj 2014/12/05 14:48 nikolaj 2014/12/05 14:48 nikolaj 2014/12/05 14:48 nikolaj 2014/12/05 14:42 nikolaj 2014/12/05 14:42 nikolaj 2014/12/05 14:40 nikolaj 2014/12/05 14:39 nikolaj old revision restored (2014/12/05 14:34) 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)$ |