(Jürgen Fritz, 10.11.2018) Kann man Gottes Existenz beweisen? Immer wieder gab es Versuche, dies zu tun. Berühmt wurden vor allem der kosmologische, der teleologische und der ontologische Gottesbeweis, den Anselm (1033 – 1109) als erster durchführte, später dann Descartes (1596 – 1650), bevor Kurt Gödel ihn im 20. Jahrhundert in der Sprache der modernen Modallogik rekonstruieren sollte. Dies aber nicht, wie Nicht-Logiker, insbesondere Theologen, gelegentlich meinen, um die Existenz Gottes logisch herzuleiten, sondern um gleichsam zu zeigen, dass mit der axiomatischen Methode bei Zurechtlegung der entsprechenden Axiome im Grunde alles bewiesen werden kann, sogar Gott. Doch bleiben wir bei Anselms besonders beeindruckendem Beweis, der natürlich fehlerhaft, gleichwohl aber von atemberaubender Genialität und Schönheit ist und an dem sich ungemein viel erlernen lässt, sowohl in Bezug auf die Geistesgeschichte als auch die Ontologie, die Erkenntnistheorie und das logische Denken.