ax-qi2 - brismu bridi

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

Axiom ax-qi2 188

Description: A variant of ax-qi1 185 for second-order quantifiers. Very few claims will be invariant under free choice of {bu'a}, but those that are should be subject to this transformation by analogy to first-order reasoning and an appeal to set theory.

**Assertion**
Ref	Expression
ax-qi2	⊢ ganai ro bu'a zo'u ganai broda gi brode gi ganai ro bu'a zo'u broda gi ro bu'a zo'u brode

This axiom is referenced by: qi2i 189

W3C validator