Сила (математическая логика)

Относительная сила двух систем формальной логики может быть определена с помощью теории моделей . В частности, логика $\alpha$ Говорят, что он так же силен, как логика $\beta$ если бы каждый начальный класс в $\beta$ это начальный класс в $\alpha$.

См. также

• Абстрактная логика
• Теорема Линдстрема