"Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics" by Lorenz Halbeisen and Regula Krapf is recognized as a rigorous self-study textbook focusing on formal logic and set theory foundations. The book covers Gödel's incompleteness theorems in detail alongside Zermelo's axiomatic set theory, providing a comprehensive framework for understanding mathematical foundations. The second edition, published in 2025, includes updated proofs and expanded discussions on axiomatic systems. It is widely regarded as suitable for advanced undergraduates and graduate students specializing in mathematical logic and foundational mathematics.
Graduate students, researchers, and mathematicians specializing in mathematical logic, set theory, and the foundations of mathematics will benefit from this discussion and the referenced textbook.
I've seen what amazon let me.Baluncore said:Have you seen a copy of the 2'nd ed'n 2025 ?