ax-gen1 - brismu bridi

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

Axiom ax-gen1 224

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 225 big1 226 eqih 422 bi-revg 436 hbth 440 poi-gen 468 kihirnihi-refl 679 kihirduhi-refl 684 kihirnihi-antisym 685