Stav dette: Classical mathematical logic