Title: Abstract set theory