The argument for God as a necessary being can be put formally:
1. God is defined as a maximally great or Perfect Being.
2. The existence of a Perfect Being is either impossible or necessary (since it cannot be contingent).
3. The concept of a Perfect Being is not impossible, since it is neither nonsensical nor self-contradictory.
4. Therefore (a) a Perfect Being is necessary.
5. Therefore (b) a Perfect Being exists.
1. God is defined as a maximally great or Perfect Being.
2. The existence of a Perfect Being is either impossible or necessary (since it cannot be contingent).
3. The concept of a Perfect Being is not impossible, since it is neither nonsensical nor self-contradictory.
4. Therefore (a) a Perfect Being is necessary.
5. Therefore (b) a Perfect Being exists.