Aksioma keempat tampaknya tidak terlalu menarik pada awalnya. Itu hanya mengatakan bahwa jika ada sesuatu yang positif, maka itu selalu positif - tidak peduli waktu, situasi atau tempat. Godel sekarang dapat merumuskan teorema ketiga: jika makhluk x adalah ilahi, maka keilahian adalah kualitas esensialnya. Ini masuk akal, karena jika sesuatu itu ilahi, ia memiliki semua atribut positif - dan itu mendefinisikan sifat-sifat x .
Langkah selanjutnya adalah ketika sesuatu itu ada. Jika di suatu tempat setidaknya satu makhluk y memiliki properti , yang merupakan properti esensial dari x , maka x  ada . Artinya, jika ada sesuatu yang "seperti anak anjing", maka anak anjing pasti ada. Menurut aksioma kelima, keberadaan adalah sifat positif. Kebanyakan orang mungkin akan setuju dengan itu.
Dari sini sekarang dapat disimpulkan bahwa Tuhan ada, karena dia memiliki setiap kualitas positif dan keberadaan adalah positif.
Kritik terhadap pembuktian Godel; kesimpulan logis Godel semuanya benar - bahkan komputer pun bisa membuktikannya. Meski demikian, ada kritik. Misalnya, selain aksioma-aksioma yang tentu saja mengundang pertanyaan (mengapa dunia harus dibagi menjadi "baik" dan "jahat"?), Godel tidak memberikan rincian lebih lanjut tentang apa itu kualitas positif. Berdasarkan definisi dan aksioma, paling tidak himpunan P dapat dideskripsikan secara matematis:
- Jika properti milik himpunan, negasinya tidak disertakan.
- Set ini mandiri.
- Kualitas memiliki esensi hanya karakteristik dalam himpunan itu sendiri merupakan elemen himpunan.
- Himpunan selalu memiliki elemen yang sama - terlepas dari situasinya (model matematika).
- Eksistensi adalah bagian dari keramaian.
- Jika adalah bagian dari himpunan, maka sifat memiliki sebagai esensi  termasuk dalam himpunan.
Namun, ini tidak memastikan bahwa set ini unik. Mungkin ada beberapa koleksi yang memenuhi persyaratan. Misalnya, seperti yang telah ditunjukkan oleh ahli logika, kasus dapat dibangun di mana lebih dari 700 makhluk ilahi ada, berbeda dalam esensinya, menurut definisi Godel. Dan in tampaknya tidak menjawab pertanyaan terakhir tentang keberadaan satu (atau lebih?) makhluk ilahi. Hal ini dipertanyakan apakah matematika benar-benar cara yang tepat untuk menjawabnya - bahkan jika usahanya cukup menarik.
bersambung ke 2**
