Die Sache mit Gödels Gottesbeweis habe ich hier schon mal gebracht (und Muzmuz hat es noch weiter auseinanderklamüsert) -
Gödel definiert Gott als 'ein Wesen mit allen positiven Eigenschaften' -
inwiefern damit der Gott des Monotheismus beschrieben wird, sei mal dahingestellt...
Eine Übersetzung von Gödels Beweisskizze aus der formalen Logik in die natürliche Sprache (in der Version des Gödel-Schülers Dana Scott):
Annahme 1: Entweder eine Eigenschaft oder ihre Negation ist positiv.
Annahme 2: Eine Eigenschaft, die notwendigerweise durch eine positive Eigenschaft impliziert wird, ist positiv.
Theorem 1: Positive Eigenschaften kommen möglicherweise einer existenten Entität zu.
Definition 1: Eine gottähnliche Existenz enthält alle positiven Eigenschaften.
Annahme 3: Die Eigenschaft, gottähnlich zu sein, ist positiv.
Schlussfolgerung: Möglicherweise existiert Gott.
Annahme 4: Positive Eigenschaften sind notwendigerweise positiv.
Definition 2: Die Essenz einer Entität ist eine Eigenschaft, die der Entität zukommt und
notwendigerweise alle seine Eigenschaften impliziert.
Theorem 2: Gottähnlich zu sein ist eine Essenz von jeder gottähnlichen Existenz
Definition 3: Eine Entität existiert genau dann notwendigerweise, wenn all seine Essenzen
notwendigerweise in einer existenten Entität realisiert sind.
Annahme 5: Notwendigerweise zu existieren ist eine positive Eigenschaft
Theorem 3: Gott existiert notwendigerweise.
Die Formalisierung in Originalform ist [url=http://arxiv.org/pdf/1308.4526v4.pdf[/URL]hier zu finden.[/URL]
