Herbrand universe
In
mathematical logic, for any formal language with a set of symbols (constants and functional symbols), the
Herbrand universe recursively defines the set of all terms that can be composed by applying functional composition from the basic symbols.
It is named after Jacques Herbrand.
Links