Stav dette: Mathematical logic.