Deakstadieđáhus: Lógica matemática