brismu bridi		< Previous   Next > Nearby theorems
Mirrors  >  Home  >   Home  >  Th. List  >  df-poi-pa

---

Definition df-poi-pa 556

Description: Definition of {pa da poi} quantifiers as restricted first-order uniqueness quantifiers.

Assertion

Ref	Expression
df-poi-pa	⊢ go pa da poi ke'a bo'a ku'o zo'u broda gi pa da zo'u ganai da bo'a gi broda

---

This definition is referenced by:  poi-pai  557  poi-pari  558

Copyright terms: Public domain

W3C validator