Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
NOT(X e X) <-> X e S ----> SET THEORY IS NAIVE!
2 views
Skip to first unread message
Graham Cooper
Jul 6, 2012, 2:06:06 AM7/6/12
to
Naive Set Theory
F(x) <-> EXIST(S) x e S
F(x) = NOT(x e x)
RUSSELLS SET - the set of all sets that are not members of themself
NOT(R e R) <-> R e R
F(x) <-> EXIST(S) x e S
F(x) = NOT(x e x)
RUSSELLS SET - the set of all sets that are not members of themself
NOT(R e R) <-> R e R
0 new messages