Stav dette: Lógica y teoría de conjuntos