کتاب حاضر نسخه بازنگری‌شده‌ی پایان‌نامه کارشناسی ارشد مهدی رعنایی در دانشگاه علامه طباطبایی است. دکتر محمد اردشیر هم استاد راهنمای ایشان بوده‌اند.
کل ماجرای کتاب هم برهانی است که منطق‌دان بزرگ کورت گودل بر وجود خداوند اقامه کرده است. نویسنده ابتدا منظور از برهان هستی‌شناختی برای اثبات وجود خدا را روشن می‌کند (برهان‌هایی مانند برهان آنسلم که از تعریف خدا و بدون نیاز به شاهدی از جهان خارج، وجود خدا را اثبات می‌کنند) و سپس  با تشریح برهان گودل توضیح می‌دهد که 
۱. چرا برهان گودل، هستی‌شناختی است؟
۲. چه اشکالاتی به این برهان وارد است؟
۳. این برهان در چه منطقی قرار می‌گیرد؟ مرتبه اول، مرتبه دوم، موجهات یا ...؟
سپس در فصل پایانی، نسخه‌های اصلاح شده‌ی برهان گودل را ذکر کرده (از دینا اسکات و اندرسون) و توضیح می‌دهد که چگونه به این نسخه‌های اصلاح‌شده، برخی اشکال‌های اساسی پیشین وارد نیست.

برای دنبال کردن استدلال‌های کتاب، لازم است که با منطق موجهات به خوبی آشنا باشید.