@geeky
@interpreter
Naja, es ist ja nur allzu logisch, dass man ein System von aussen (Meta) betrachten muss, um etwas über seine Vollständigkeit zu sagen, was die Formel ja tun soll.
Da ein Beweis ja nun in diesem Metabereich liegt, kann die Formel wohl nicht funktionieren. Da wenn man sie in einen höheren Metabereich heben würde, der normale Metabereich unvollständig wäre und somit kann die Formel nicht funktionieren.

Wow, danke.