Deakstadieđáhus: Axiomatic set theory