ax-ro1-nf - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-ro1-nf

Axiom ax-ro1-nf 249

Description: First-order universal quantifiers bind their variables.

**Assertion**
Ref	Expression
ax-ro1-nf	⊢ ganai ro da zo'u broda gi ro da zo'u ro da zo'u broda

This axiom is referenced by: exim 426