Herbrand universe

English

Etymology

Named after Jacques Herbrand (1908–1931), French mathematician.

Noun

Herbrand universe (plural Herbrand universes)

1. (logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)