این کتاب به خوبی روند شکل گیری برهان های هستی شناختی و به طور خاص برهان هستی شناختی گودل برای وجود خدا و تحولات بعدی آن را به زبان فارسی تقریر می کند. پس از خواندن این کتاب، خواننده درمی یابد که چگونه ساده ترین برهان آنسلم برای وجود خدا، وقتی به شکل دقیق و منطقی صورت بندی می شود، نه تنها دیگر به هیچ وجه «ساده» نیست، بلکه انبوهی از مفاهیم و سوالات «سخت» را پیش برمی نهد. در تعاریف و اصول موضوعه پیشنهادی گودل، بر خلاف برهان «ساده» آنسلم، مفاهیمی مانند «ویژگی» یا «خاصیت» ، «ویژگی مثیت» ، «ویژگی منفی» ، «ذات» ، «ممکن» و «ضروری» حضور دارند، که هیچ کدامشان «ساده» نیستند و در نتیجه درک و قبول اصول موضوعه را «سخت» می کنند. علاوه بر این ها، قواعد برهان هستی شناختی گودل قواعد منطق موجهات مرتبه دوم اند که از چالش انگیزترین بخش های منطق فلسفی اند....