ax-gen1 - brismu bridi

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

Axiom ax-gen1 179

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: eqih 347 bi-revg 358 hbth 362 poi-gen 375 kihirnihi-refl 566