I wouldn't worry, Gödel himself was only trying to prove that mathematics could be used to determine if God existed and he himself did not publish it until he w

I wouldn't worry, Gödel himself was only trying to prove that mathematics could be used to determine if God existed and he himself did not publish it until he was near death because people would think he believed in God. If anything it was a more formal approach to the Ontological Argument put forward by Anselm of Canterbury, and he was trying to show how modal logic can be used as language in proof theory, and "the study of what can and cannot be proved in mathematical systems of deduction. Issues of completeness of mathematical systems, the independence of axioms from other axioms, and issue of the consistency of formal mathematical systems are all part of proof theory." http://sas.uwaterloo.ca/~cgsmall/ontology.html http://sas.uwaterloo.ca/~cgsmall/ontology.html http://en.wikipedia.org/wiki/Anselm_of_Canterbury http://en.wikipedia.org/wiki/Anselm_of_Canterbury