Аннотация:
Доказуемость схемы $\Sigma_1$-ограниченности из $\Sigma_1$-индукции. Эквивалентные формы схем индукции и ограниченности.
Примитивно рекурсивная формализация синтаксиса. Доказуемая $\Sigma_1$-полнота и третье условие Лёба. Формализуемость синтаксиса в теории множеств.
Обратная связь: