Stav dette: Set theory and its logic