Understanding Gödel's Ontological Argument