Deakstadieđáhus: El análisis matemático de la lógica