Herbrand-univerzum

Kapcsolódó fogalmak: 
Herbrand-tétel
Kapcsolódó fogalmak: 
Herbrand-bázis
Rövid szöveges bemutatás: 
A Herbrand univerzum olyan alapkifejezések halmaza, melyek a vizsgált kifejezésben szereplő konstansokból és függvényszimbólumokból állnak. Ha nem tartalmaz konstanst, akkor tetszőlegesen felveszünk egyet. Az alapkifejezések nem tartalmazhatnak változót. Tehát az univerzum elkészítéséhez venni kell külön-külön a vizsgált kifejezésben előforduló összes függvényszimbólumot és képezni kell az összes lehetséges párosítást az előforduló konstansokkal.