Deakstadieđáhus: Naive set theory