Text this: Gödel's Theorems and Zermelo's Axioms