Я не очень ясно понимаю этот пример. Пример взят из Руководства по логике описания.
В последней строке примера «требуется индукция, следовательно, такое рассуждение не первого порядка». Эта фраза полностью вывела меня из себя.
ваше объяснение очень ценится.
Цитата «требуется индукция, следовательно, такое рассуждение не является первым порядком» подразумевает, что любое доказательство, основанное на индукции, требует арифметики второго порядка. Обсуждение того, почему индуктивная форма не может быть получена из аксиом первого порядка, можно найти здесь и здесь .
