Teoremele lui Herbrand

Există mai multe teoreme asociate cu numele matematicianului francez Jacques Herbrand :

• Teorema lui Herbrand  este un rezultat fundamental al logicii matematice, conectând logica de ordinul întâi cu logica propozițională .
• Teorema deducției  este o teoremă privind legătura dintre implicație și inferență în sistemele logice.
• Teorema Herbrand-Ribet este o teoremă din teoria grupurilor .
• Teorema lui Herbrand asupra grupurilor de ramuri .