Add citations and compare axioms and definitions with Gödel's originals