Zitat:
Dann sprechen wir von verschiedenen Dingen. Ich meine den Gödelschen Unvollständigkeitssatz: "Jedes hinreichend mächtige formale System ist entweder widersprüchlich oder unvollständig."

Mh bist du dir sicher dass das verschiedene Aussagen sind? Ich bezog mich in der Tat auf Gödel, letzlich ist das was ich gesagt habe m.M.n. dasselbe, nur laienhaft-schwammiger formuliert...


Zitat:
Mir fällt jedoch ein schlagendes Argument ein: Es gibt Sätze bzw. Aussagen in der Mathematik, deren Unbeweisbarkeit bewiesen wurde. Das heißt: Reduziert man Gott auf die Mathematik, dann wäre Gott nicht mehr allmächtig. Die Frage stellt sich: Kann ein allmächtiges Wesen Aussagen beweisen, die unbeweisbar sind (in den eigenen logischen Regeln dieses Wesens)?

Ich vermute, ein allmächtiges Wesen hätte kein eigenes logisches Regelsystem; da Allmacht per def jede Regel außerkraftsetzbar macht, wäre die Aufstellung von subjektiven Regeln von vornherein Zeitverschwendung. Insofern wäre "Beweisbarkeit" ein sinnfreier Begriff im Universum dieses Wesens... das heißt dann wohl, Logik ist ein Behelfsmittel für die Nicht-Allmächtigen? grins