ax-card-ex - brismu bridi

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

Axiom ax-card-ex 628

Description: A unary relation describes the empty set when it never holds. An axiom of Fregean cardinality.

**Assertion**
Ref	Expression
ax-card-ex	⊢ go li no kazmi pa ka ce'u bo'a kei gi naku su'o da zo'u da bo'a

This axiom is referenced by: (None)