Aber ich kann doch beweisen, dass Gott exestiert.
- Annahme des Gegenteils: Das, worüber hinaus nichts Größeres gedacht werden kann [d. i. Gott], existiert nicht in Wirklichkeit, sondern nur im Verstand.
- Wenn (1), dann kann etwas gedacht werden, das größer ist als das, worüber hinaus nichts Größeres gedacht werden kann (nämlich ebendieses, jedoch mit der zusätzlichen Qualität, dass es auch in Wirklichkeit existiert, was dann größer ist als das lediglich Gedachte, welches nicht in der Wirklichkeit existiert).
- Wenn etwas gedacht werden kann, das größer ist als das, worüber hinaus nichts Größeres gedacht werden kann, dann ist das, worüber hinaus nichts Größeres gedacht werden kann, etwas, worüber hinaus Größeres gedacht werden kann.
- Das, worüber hinaus nichts Größeres gedacht werden kann, ist etwas, worüber hinaus Größeres gedacht werden kann [aus (1), (2) und (3) durch zweimalige Anwendung des Modus ponens].
- (4) ist widersprüchlich und daher (1) falsch, d. h.: Das, worüber hinaus nichts Größeres gedacht werden kann [d. i. Gott], existiert in Wirklichkeit und nicht nur im Verstand [aus (1)–(4) durch reductio ad absurdum].
Anselm von Canterbury
You can customise KDE plasma a lot. I think you can do that with gnome as well but it's harder as far as I know.