Return to Article Details Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective