Stav dette: Lógica matemática