Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
hereditarily_finite_set [2014/12/06 15:36] nikolaj |
hereditarily_finite_set [2015/08/25 22:38] nikolaj |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| | @#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) $ | | ||
| - | ==== Discussion ==== | + | ----- |
| + | === Discussion === | ||
| === Idea === | === Idea === | ||
| This is the set of all finite sets constructable when starting with $\emptyset$. It's the smallest infinite [[Grothendieck universe]], as well as a model of ZFC. | This is the set of all finite sets constructable when starting with $\emptyset$. It's the smallest infinite [[Grothendieck universe]], as well as a model of ZFC. | ||
| Line 12: | Line 13: | ||
| === Reference === | === Reference === | ||
| Wikipedia: [[http://en.wikipedia.org/wiki/Hereditarily_finite_set|Hereditarily finite set]] | Wikipedia: [[http://en.wikipedia.org/wiki/Hereditarily_finite_set|Hereditarily finite set]] | ||
| - | ==== Parents ==== | + | |
| + | ----- | ||
| === Requirements === | === Requirements === | ||
| [[Power set]], [[Empty set]] | [[Power set]], [[Empty set]] | ||
