ax-cmima-coll - brismu bridi

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

Axiom ax-cmima-coll 407

Description: The Axiom of Collection: If a bridi is inhabited when parameterized over elements of some set, then the inhabitants also form a set.

**Hypothesis**
Ref	Expression
ax-cmima-coll.0	⊢ na'a'u da zo'u broda

**Assertion**
Ref	Expression
ax-cmima-coll	⊢ ganai ro de poi ke'a cmima ko'a ku'o zo'u su'o di zo'u broda gi su'o da zo'u ro de poi ke'a cmima ko'a ku'o zo'u su'o di poi ke'a cmima da ku'o zo'u broda

Distinct variable group: da ,de ,di

This axiom is referenced by: (None)