Kurt Gödel‘s Ontological Proof (1970) is probably one of the most important proofs of God‘s existence of our times. The argument is based on formal logic: Firstly, this makes the argument quite hard to access; secondly, the argument seems to claim universal truth. Since its publication, many papers have been written, dealing with different aspects of this argument. However, a theological – and especially a protestant theological – consideration of the argument is still missing. This paper will give a systematic overview of the research that has already been conducted as well as introduce and explain the formal structure of the argument. The theological contribution can be seen by putting claims about God’s ontological status based on Gödels’ work into perspective.