Deakstadieđáhus: Abstract set theory