This paper examines cosmological and ontological proofs of God’s existence. It is argued that these arguments should be interpreted as proofs in the proper sense, not as informal reasonings. The author gives reasons that all known proofs of God’s existence have defects.