Herbrand's theorem
English
editEtymology
editObtained by Jacques Herbrand (1930).
Proper noun
edit- (logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
Obtained by Jacques Herbrand (1930).