Termmenge/Volles Alphabet/Bedingung/Aufgabe
Es sei eine Variablenmenge, eine Konstantenmenge und eine Menge aus Funktionssymbolen (mit einer gewissen Stelligkeit). Es sei
das zugehörige Alphabet. Es sei vorausgesetzt, dass dieses Alphabet nicht leer sei. Zeige, dass es nichtleere Wörter über gibt, die keine Terme sind.