ax-card-ex - brismu bridi

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

Axiom ax-card-ex 524

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 0 kazmi 1 ka ce'u bo'a kei gi naku zo'u su'o da zo'u da bo'a

This axiom is referenced by: (None)