Herbrand's theorem

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