Stav dette: Lógica matemática.