ax-cmima-nul - brismu bridi

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

Axiom ax-cmima-nul 387

Description: The Axiom of Null Set: there exists a set with no elements.

**Assertion**
Ref	Expression
ax-cmima-nul	⊢ su'o da zo'u ro de zo'u naku de cmima da

Distinct variable group: da ,de

This axiom is referenced by: (None)