Deakstadieđáhus: Introduction to metamathematics