Stav dette: Derecho y lógica formal.