Bukti keberadaan ilahi dengan logika formal; tetapi  dari sudut pandang matematis, eksperimen tersebut hanya menjadi sangat serius melalui upaya Godel . Itu tidak terlalu mengejutkan: ilmuwan telah membalikkan subjek pada usia 25 dengan menunjukkan bahwa matematika selalu berisi pernyataan benar yang tidak dapat dibuktikan . Dalam melakukannya, dia menggunakan logika. Ini  memungkinkan dia untuk membuktikan keberadaan Tuhan:
Bukti formal oleh Kurt Godel. Sepintas, kedua belas langkah itu tampak samar, tetapi Anda dapat melewatinya selangkah demi selangkah untuk mengikuti pemikiran Godel. Dia mulai dengan aksioma, yaitu asumsi: Jika memiliki sifat P dan selalu menyiratkan , maka  memiliki sifat P . Demi kesederhanaan kita dapat mengasumsikan bahwa P adalah singkatan dari "positif". Misalnya: Jika buah itu enak (sifat positif), maka menyenangkan  untuk dimakan. Karena itu, menikmati makanan  merupakan kualitas positif.
Aksioma kedua terus membingkai P. Jika kebalikan dari sesuatu itu positif, maka "sesuatu" itu pastilah negatif. Dengan melakukan itu, Godel membagi dunia menjadi hitam dan putih: ada sesuatu yang baik atau buruk. Misalnya, jika kesehatan itu baik, penyakit pasti buruk.
Dengan dua asumsi ini, Godel dapat menurunkan teorema pertamanya: Jika adalah sifat positif, maka ada kemungkinan x dengan sifat ada. Artinya, hal-hal positif bisa saja ada.
Bagaimana Anda mendefinisikan Tuhan secara matematis?
Matematikawan sekarang beralih ke definisi makhluk ilahi untuk pertama kalinya: Menurut ini, x adalah ilahi jika memiliki semua sifat positif . Aksioma kedua memastikan bahwa Tuhan yang didefinisikan demikian tidak dapat memiliki karakteristik negatif apa pun (jika tidak, seseorang akan menciptakan kontradiksi).
Aksioma ketiga menyatakan bahwa keilahian adalah kualitas positif. Poin ini sebenarnya tidak bisa diperdebatkan, karena keilahian menggabungkan semua karakteristik positif.
Teorema kedua sekarang menjadi sedikit lebih konkrit: dengan menggabungkan aksioma ketiga (keilahian itu positif) dan teorema pertama (ada kemungkinan bahwa sesuatu yang positif ada), suatu wujud x dapat eksis yang bersifat ilahi.
Tujuan Godel sekarang adalah untuk menunjukkan dalam langkah-langkah berikut bahwa Tuhan pasti ada dalam kerangka yang telah ditentukan ini. Untuk melakukan ini, ia memperkenalkan "esensi" dari objek x dalam definisi kedua , yaitu properti karakteristik yang menentukan semua fitur lainnya. Contoh nyata dari ini adalah "anak anjing": Jika sesuatu memiliki kualitas ini, itu pasti lucu, lembut, dan canggung.
Apa yang membentuk makhluk pada intinya?
