Aslında burda asıl yapılan şey mantıksal önermelerin bilgisayarda çözülebildiğini göstermek. Ontolojik deliller hep eleştirilere tabi tutulur. Gödel\'in denklemi ne kadar ilginç olsa da doğruluğu subjektif tanımlara ve ön kabullere bağlı. Tıpkı Öklid aksiyomlarının Öklid geometrisinde doğru olması fakat hiperbolik geometride doğru olmaması gibi. Bu yüzden de geçerliliği ne kadar pratiktir tartışılır.