Stav dette: A theory of sets