Differences
This shows you the differences between two versions of the page.
Next revision Both sides next revision | |||
subsingleton [2014/11/05 21:45] nikolaj created |
subsingleton [2014/11/05 21:46] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#FFBB00: definiendum | @#FFBB00: $u$ in it | | | @#FFBB00: definiendum | @#FFBB00: $u$ in it | | ||
| @#FFFDDD: for all | @#FFFDDD: $x,y\in u$ | | | @#FFFDDD: for all | @#FFFDDD: $x,y\in u$ | | ||
- | | @#55EE55: postulate | @#55EE55: $x=y$ | + | | @#55EE55: postulate | @#55EE55: $x=y$ | |
==== Discussion ==== | ==== Discussion ==== |