ax-card-fun - brismu bridi

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

Axiom ax-card-fun 626

Description: Cardinality is a function on sets. An axiom of Fregean cardinality.

**Assertion**
Ref	Expression
ax-card-fun	⊢ ganai ko'a .e ko'e kazmi ko'i gi ko'a du ko'e

This axiom is referenced by: kazmi-funii 627