Ontology Browser › set-theory › Axiom of empty set

Axiom of empty set

Layer 0 — Mathematicsin the set-theory subtree

There exists a set with no elements.

Related concepts

Existential quantifier
Axiom of infinity
Logical negation (NOT)
Axiom schema of separation

Explore Axiom of empty set on the interactive knowledge graph →

This is a text summary of a node in the layered-reality ontology. Full formal statements, tags, and the complete dependency graph are available via the interactive application after completing a proof-of-work challenge.