 (1) The "Herbrand universe" of a first-order language "L"σ, is the set of all ground terms of "L"σ.If the language has no constants, then the language is extended by adding an arbitrary new constant.