Herbrand universe

noun

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.)

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounHerbrand universe (plural Herbrand universes)

plural Herbrand universes

  1. human sciencesThe 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.)

Origin

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

Full word history & related roots →
Cite this entry
APA

Herbrand universe. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Herbrand%20universe

MLA

“Herbrand universe.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Herbrand%20universe. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Herbrand universe,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Herbrand%20universe.

Source: Herbrand universe on Wiktionary, CC BY-SA 4.0.