ax-gen1 - brismu bridi

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

Axiom ax-gen1 193

Description: Axiom of first-order generalization.

**Hypothesis**
Ref	Expression
ax-gen1.0	⊢ broda

**Assertion**
Ref	Expression
ax-gen1	⊢ ro da zo'u broda

This axiom is referenced by: mpg1 194 eqih 385 bi-revg 397 hbth 401 poi-gen 417 kihirnihi-refl 608