Toán học hiện đại được xây dựng trên nền tảng vững chắc của lý thuyết tập hợp. Từ những khái niệm cơ bản nhất như số tự nhiên cho đến những cấu trúc phức tạp nhất trong giải tích, đại số và hình học, tất cả đều có thể được định nghĩa và nghiên cứu thông qua "ngôn ngữ của tập hợp". Cuốn sách này là một hành trình khám phá sâu sắc vào "trái tim" của nền tảng toán học: hệ thống tiên đề Zermelo - Fraenkel cùng với Tiên đề Chọn (ZFC).