Godel's ontological Argument

This Article is originally concentrated on godelian ontological Argument basedOn Anselm΄s basic idea and it's versions, such as the one by Hartshorn, for instance. The idea was that God has a property that other individuals lack, namely maximal greatness or perfection. To formalize the idea of a positive property, Godel introduced a positivity operator. Godel's argument also introduces some “God-Language” into the discussion such as: the idea of God-like individual, the essence of an individual and the property of necessary existence. The Article has also some philosophical considerations concerning to leibnizian and plotonian semantic interpretations of godel's argument.