Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics - Halbeisen, Lorenz; Krapf, Regula (Cham Birkhäuser Boston, 2025)