411 REFERENCE · Wiktionary
Herbrand's theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Obtained by Jacques Herbrand (1930).
Proper noun
en logic A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
en eponyms