Stav dette: Naive set theory