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

---

Definition df-du 251

Description: A second-order characterization of identity which is non-first-order-izable.

Assertion

Ref	Expression
df-du	⊢ go ko'a du ko'e gi ro bu'a zo'u ko'a .o ko'e bu'a

---

This definition is referenced by:  dui  252  duri  254

Copyright terms: Public domain

W3C validator