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