Herbrand's theorem

Etymology
Obtained by Jacques Herbrand (1930).

Proper noun

 * 1)  A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.