обобщение математической индукции: утверждение считается доказанным для всех элементов некоторого вполне упорядоченного множества, если справедливость этого утверждения для любого элемента вытекает из его справедливости для предшествующих элементов
том, что для языков бесконечного порядка невозможно семантически определить истину без использования трансфинитной...
индукции), не может быть точно сформулирован без теории семантических категорий.
Указаны четыре математических метода решения задач и доказательства теорем. Отмечены имена ученых, внесших вклад в их формирование и развитие. Показаны многочисленные примеры применения этих методов. Приведена историческая справка.
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству
прямая эллиптического пространства, отстоящая от данной прямой на постоянном расстоянии
тензор, среди индексов которого имеются как ковариантные, так и контравариантные
