Matematik ve İslam ilişkisini inceliyoruz.Matematiksel olarak ALLAH'ın varlığını ortaya atan matematikçi ilk olarak 11. yüzyıldaki başpiskopos Anslem biinir.Ama GÖDEL'in matematiksel TANRI'yı bulması ilk kabul edilegeldi:İşte GÖDEL'in denklemi:
(Lütfen alıntılarda kaynak belirtiniz.)
Aksiyom1:Bir özellik yalnızca ve yalnızca inkarı negatif ise pozitiftir.
Aksiyom2.Bir özellik eğer zorunlu olarak pozitif bir özelliği kapsıyorsa pozitiftir.
Teorem1.Pozitif bir özellik mantıksal olarak tutarlıdır.(Yani bir örneğinin bulunması olasıdır. )
Tanım:Yalnızca ve yalnızca Tanrı-gibi bir şey tüm pozitif özelliklere sahip olur.
Aksiyom3.Tanrı-gibi olmak pozitif bir özelliktir.
Aksiyom4:Pozitif bir özellik olmak mantıksaldır ve dolayısıyla da gereklidir.
Tanım:Bir P özelliği yalnızca ve yalnızca x'in eğer P özelliği varsa ve P zorunlu olarak en küçük derecedense, x'in özüdür.
Teorem2:Eğer x Tanrı-gibi ise o zaman Tanrı gibi olmak x'in özüdür.
Tanım:Eğer temel bir özelliği varsa, x zorunlu olarak vardır.
Aksiyom5:Zorunlu olarak varolmak, Tanrı-gibi olmak demektir.
Teorem3:Zorunlu olarak bir x vardır, öyle ki x Tanrı -gibidir.