The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and open problems. This book addresses both aspects of the subject, offering an introduction to 'pure set theory' and explains how mathematical objects can be faithfully modeled withi[...]