Gödel’s ontological proof