A formalization of set theory without variables

Agbalẽwo

Agbalẽ siwo sɔ kplii