Ο Gödel με έναν φίλο... |
Όσοι κριτικάρουν την απόδειξη του Gödel περί ύπαρξης Θεού (βλ. Φιλοσοφία της Επιστήμης και της Θρησκείας για μια σύντομη περιγραφή της απόδειξης) συνήθως αναφέρονται στο ότι ο Godel έχει αυθαίρετα επιλέξει ορισμένα αξιώματα από τα οποία ξεκινάει την αναζήτηση του. Πολλοί κρίνουν μάλιστα την απόδειξη λέγοντας πως έχει αυθαίρετα κατηγοριοποιήσει την ιδιότητα "υπάρχω" σαν "θετική" ιδιότητα. ΟΚ! Έστω ότι αυτό είναι λάθος! Τότε είναι "θετικό" που πεθαίνουμε (αφού η ύπαρξη είναι μια "αρνητική" ιδιότητα) και πάλι λύνονται με έναν διαφορετικό (περίεργο ομολογουμένως) τρόπο τα φιλοσοφικά υπαρξιακά προβλήματα μας!