Аннотация:
В статье рассматривается понятие стандартной теории. Для ряда систем исчисления предикатов первого порядка доказано, что они являются стандартными. На основе понятия стандартной теории проведен анализ сложности выводов в указанных системах.