Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
power_set [2015/10/08 14:24] nikolaj |
power_set [2015/10/08 14:24] nikolaj |
||
|---|---|---|---|
| Line 27: | Line 27: | ||
| $\forall X.\,\exists! P.\,\forall Y.\,\left(Y\in P\Leftrightarrow \forall Z.\,(Z\in Y\implies Z\in X)\right)$ | $\forall X.\,\exists! P.\,\forall Y.\,\left(Y\in P\Leftrightarrow \forall Z.\,(Z\in Y\implies Z\in X)\right)$ | ||
| - | The existence is granted from the [[https://en.wikipedia.org/wiki/Axiom_of_power_set|Axiom of power set]] | + | Without the exclamation mark, this is exactly the [[https://en.wikipedia.org/wiki/Axiom_of_power_set|Axiom of power set]]. |
| - | + | Uniqueness follows from extensionality. | |
| - | $\forall X.\,\exists P.\,\forall Y.\,\left(Y\in P\Leftrightarrow \forall Z.\,(Z\in Y\implies Z\in X)\right)$ | + | |
| - | + | ||
| - | and uniqueness follows from extensionality. | + | |
| == Examples == | == Examples == | ||
