Gödel's Theorems and Zermelo's Axioms - Lorenz Halbeisen, Regula Krapf (Springer, 2020)