Deakstadieđáhus: Lógica matemática.