A formalization of set theory without variables

Ebitabo

Ebitabo ebifaananako bwe bityo