Stav dette: Foundations of set theory