He defined a set as a class that is a member of some class and stated the axiom: A class is not a set if and only if there is a one-to-one correspondence between it and the class of all sets.
El a definit mulțimea ca o clasă care este membră a altei clase și a enunțat axioma: O clasă nu este o mulțime, dacă și numai dacă există o corespondență unu-la-unu între aceasta și clasa tuturor mulțimilor.