Deakstadieđáhus: Logica matematica