Teoremas de Herbrand

Hay varios teoremas asociados con el nombre del matemático francés Jacques Herbrand :

• El teorema de Herbrand  es un resultado fundamental de la lógica matemática, que conecta la lógica de primer orden con la lógica proposicional .
• El teorema de deducción  es un teorema sobre la conexión entre implicación e inferencia en sistemas lógicos.
• El teorema de Herbrand-Ribet es un teorema de la teoría de grupos .
• Teorema de Herbrand sobre grupos de ramas .