Deakstadieđáhus: First Order Mathematical Logic