Logik/Vollständigkeitssatz/Modellkonstruktion/Konsistente Terminterpretation/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir führen Induktion über den Aufbau der Terme, wobei der Induktionsanfang unmittelbar durch die natürliche Belegung gesichert ist. Die Aussage gelte nun für Terme und sei ein -stelliges Funktionssymbol. Dann ist

Zur bewiesenen Aussage