Mathematical Proof for God's Existence

Proof is from the book "Types, Tableaus and Godel's God" by Professor Melvin Fitting. In this page descriptions of formulas are removed from the proof due to copyright considerations. Maintainer of this site intends to show how the proof looks like. Here only logic formulas are presented. If it is hard to understand then buy the book. It is 172 pages with enough descriptions to make it easy to follow the formulas.