Математика как иностранный. B1-3. Варианты индукции.

Рассматриваем несколько схем, равносильных обычной индукции: - порядковая (или полная) индукция; - принцип минимального элемента (аксиома фундирования); - принцип бесконечного спуска. Также приводим рассуждения о важности погружения индукции в систему аксиом арифметики на примере теоремы Гудстейна. Миниспецкурс по теореме Гудстейна: На обложке - книга . Reverse Mathematics (Обратная математика). Рекомендую! Есть на русском языке.