ax-pamei-cmima - brismu bridi

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

Axiom ax-pamei-cmima 256

Description: The singleton set has one element.

**Assertion**
Ref	Expression
ax-pamei-cmima	⊢ ganai ko'a pamei ko'e gi ko'e cmima ko'a

This axiom is referenced by: (None)