PhilosophyIdeas
.com Database
|
Current Total Ideas:
22,165
|
home
|
back
structure for all areas
|
expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / e. Axiom of the Empty Set IV
[axiom asserting that there is an empty set]
1 idea
13529
Empty Set: ∃x∀y ¬(y∈x). The unique empty set exists
[Wolf,RS]