This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic. Chapters are written to be accessible and formative for majors in mathematics, computer science, and philosophy. The author presents the important tools and topics including relations and functions, the concept of order, induction and inductive definitions, Cantor's diagonalisation as well as ordinals and cardinals. The axioms of (ZFC) set theory are introduced with natural axiomatizations and informal justifications, which is relatively distinctive. Interesting topics such as computing the support of sets by a recursively defined function and the von Neumann Hierarchy are included.
| ISBN: | 9783032100399 |
| Publication date: | 23rd June 2026 |
| Author: | George Tourlakis |
| Publisher: | Springer an imprint of Springer Nature Switzerland |
| Format: | Hardback |
| Pagination: | 229 pages |
| Series: | Synthesis Lectures on Mathematics & Statistics |
| Genres: |
Set theory Mathematical logic Maths for computer scientists Discrete mathematics Mathematical theory of computation Mathematical foundations Mathematics |
This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic. Chapters are written to be accessible and formative for majors in mathematics, computer science, and philosophy. The author presents the important tools and topics including relations and functions, the concept of order, induction and inductive definitions, Cantor's diagonalisation as well as ordinals and cardinals. The axioms of (ZFC) set theory are introduced with natural axiomatizations and informal justifications, which is relatively distinctive. Interesting topics such as computing the support of sets by a recursively defined function and the von Neumann Hierarchy are included.
Axiomatic Set Theory features in the following genres: Set theory, Mathematical logic, Maths for computer scientists, Discrete mathematics, Mathematical theory of computation, Mathematical foundations, Mathematics
Axiomatic Set Theory is available in Hardback
Axiomatic Set Theory was written by George Tourlakis and published by Springer an imprint of Springer Nature Switzerland
Axiomatic Set Theory has 229 pages
Yes it is part of Synthesis Lectures on Mathematics & Statistics series
£31.49