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