Deakstadieđáhus: El desarrollo de la lógica matemática