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.