Գրեք սա: Abstract set theory