Je pensais plutôt à une preuve de celle qui montre que:
(A est un ensemble normal s'il ne se contient lui même)
La proposition "{A, A normal} est normal" est indécidable
Un truc un minimum rigoureux mais ancré dans la réalité, à la "je pense donc je suis"
Par exemple on pourrait imaginer:
Appelons A l'univers de tout ce qui est observable et accessible par le raisonnement
On ne peut prouver l'inexistence de Dieu que dans A par définiton de A (il est limité par notre raisonnement)
Or A ne décrit pas l'univers complet (à démontrer) dans lequel Dieu peut se trouver ou s'expliquer
Donc il nous est impossible de contredire l'existence de Dieu