Теоремы Эрбрана

Существует несколько теорем, связанных с именем французского математика Жака Эрбрана:

• Теорема Эрбрана — фундаментальный результат математической логики, связывающий логику первого порядка с пропозициональной логикой.
• Теорема о дедукции — теорема о связи импликации и вывода в логических системах.
• Теорема Эрбрана — Рибета — теорема из теории групп.
• Теорема Эрбрана о группах ветвления.

Примечания