Formelt sett så er argumentet, Gödels ontologiske bevis for Gud, gjerne gitt (nå) som logisk gyldig, men at man stiller spørsmål ved argumentets «soundness», troverdighet. «Soundness» er her en logisk term som man må forstå.