Herbrand's theorem establishes a link between quantification theory and sentential logic which is important in that it gives a method to test a formula in quantification theory by successively testing formulae for sentential validity.
Herbrand's teorama magtatatag ng isang link sa pagitan ng dami teorya at sentential lohika na kung saan ay mahalaga sa na ito ay nagbibigay ng isang paraan sa pagsubok ng isang formula sa dami teorya sa pamamagitan ng sunud-sunod testing formulae para sa sentential Bisa.