Gödel's Theorems and Zermelo's Axioms | lit.salon