ax-ex - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-ex

Axiom ax-ex 379

Description: The axiom of existence: at least one element exists in the universe. This is necessary if we want to exclude the trivial empty model.

**Assertion**
Ref	Expression
ax-ex	⊢ su'o da zo'u da du de

Distinct variable group: da ,de

This axiom is referenced by: exv 380

W3C validator