Stav dette: Mathematical logic