““We can formulate Plantinga’s version of the ontological argument as follows: 1) It is possible that a maximally great being exists. 2) If it is possible that a maximally great being exists, then a maximally great being exists in some possible world. 3) If a maximally great being exists in some possible world, then it exists in every possible world. 4) If a maximally great being exists in every possible world, then it exists in the actual world. 5) If a maximally great being exists in the actual world, then a maximally great being exists. 6) Therefore, a maximally great being exists.””
