Mit Herbrand-Universum bezeichnet man eine Menge in der Prädikatenlogik, die als Grundmenge zur Definition der Herbrand-Struktur herangezogen wird. Beide Begriffe sind Teil der Herbrand-Theorie, benannt nach Jacques Herbrand.

Das Herbrand-Universum ist wie folgt definiert:
Sei F eine (geschlossene) Formel in Skolemform. Das Herbrand-Universum zu F, bezeichnet mit D(F), ist induktiv definiert durch:

1. ist k eine in F vorkommende Konstante, dann ist
2. kommt in F keine Konstante vor, so wird eine neue Konstante a eingeführt und dem Herbrand-Universum hinzugefügt, also
3. für jedes in F vorkommende Funktionssymbol f und Terme , füge den Term dem Universum D(F) hinzu
4. das sind alle Elemente von D(F)

Beispiel

F bezeichne eine prädikatenlogische Formel mit

D(F) ergibt sich zu

siehe auch: Satz von Herbrand