The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and …