Daraus ergibt sich das Herbrand-Universum zu : Beispiel F bezeichne eine prädikatenlogische Formel mit : ergibt sich zu : Man sieht, dass bereits ein Funktionssymbol in zu einer unendlichen Menge von Termen führt.