Basiswissen

Gott ist entweder allmächtig oder nicht. Eine dritte Möglichkeit gibt es nicht.^[1] Ist wird jetzt bewiesen, dass Gott nicht allmächtig ist. Wenn Gott allmächtig wäre, dann kann er auch einen Stein herstellen, der so schwer ist, dass er ihn selbst nicht hocheben kann. Das aber ist offensichtlicher Unfug. Also kann Gott nicht allmächtig sein. Man zeigt, dass eine Aussage A von nur zwei möglichen Aussagen wahr sein muss, weil die andere Aussage B offensichtlich nicht richtig sein kann. Das ist für die Mathematik erklärt im Artikel Reductio ad absurdum ↗

Fußnoten

[1] Wenn es nur genau zwei und keine dritte Möglichkeit gibt spricht man von einem tertium non datur ↗