Logik/Vollständigkeitssatz/Auffüllung mit einem Beispiel/Neue Termvariable/Widerspruchsfreiheit/Metasprache/Objektsprache/Aufgabe

Diskutiere Metasprache und Objektsprache anhand der Formulierung „im Widerspruch zur Widerspruchsfreiheit“ aus dem Beweis zu Fakt.