PhilosophyIdeas
.com Database
|
Current Total Ideas:
22,104
|
home
|
back
structure for 'Formal Logic'
|
alphabetical list of themes
|
expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / k. Axiom of Existence
[axiom that gets sets started]
2 ideas
13029
Set Existence: ∃x (x = x)
[Kunen]
10871
Axiom of Existence: there exists at least one set
[Clegg]