Stav dette: Set theory and logic