Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
Back to statement
Edit History
The theory contains '∃x x = {a, b}', asserting the existence of the set {a, b}.
create
Justice
— Initial import
4/15/2026