Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math.research
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Question related to "Foundations of Mathematics"
Replies:
2
Last Post:
Apr 2, 2012 1:00 PM




Question related to "Foundations of Mathematics"
Posted:
Mar 10, 2012 12:20 PM


I made up it, I didn't find anything about it, so I need help.
The question is: How do different set theories handle the following definition?
U := {x : (x belongs_to A) and ( Not(A is_included_in Powerset( EmptySet)) )}
If possible in the set theory, require (A is_set). But it doesn't really matter.
The set U is interesting for some reasons.
The answer will help me a lot in my PhD. research.
Thank You.



