Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
empty_set [2015/10/08 20:33] nikolaj |
empty_set [2015/10/08 20:33] nikolaj |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| $\exists! y.\,y=\{x\mid \bot\}$ | $\exists! y.\,y=\{x\mid \bot\}$ | ||
| - | holds, really is an abbreviation for | + | holds, which really is an abbreviation for |
| $\exists! y.\,\forall x.\,\left(x\in y\Leftrightarrow \bot\right)$ | $\exists! y.\,\forall x.\,\left(x\in y\Leftrightarrow \bot\right)$ | ||
