Deakstadieđáhus: Lógica de primer orden