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