Deakstadieđáhus: Axiomatic projective geometry