О выразимости в ограниченной арифметике второго порядка

Дается элементарно-логическое описание класса предикатов, выразимых в ограниченной арифметике второго порядка (0А2) формулами с только предметными свободными переменными. Показывается, что никакая элементарная теория конечного числа выразимых в 0А2 предикатов не является полной в 0А2 (не описывает множества выразимых в 0А2 предикатов).