Az ontológiai bizonyítás és Kurt Gödel - Csaba Ferenc (1998)