Аннотация:
Доклад посвящен определению понятия аксиом бесконечности для формально-логических систем и постановке вопроса о существовании полных теорий второго порядка с аксиомами бесконечности, в дополнение к чему показано, что основные примеры полных эффективных теорий первого порядка не являются таковыми при расширении их логикой второго порядка.