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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Fakt.
Eine Lösung erstellen