Logik/Vollständigkeitssatz/Modellkonstruktion/Konsistente Terminterpretation/Fakt/Beweis
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