Гиперболоид
незамкнутая центральная поверхность 2-го порядка
обобщение математической индукции: утверждение считается доказанным для всех элементов некоторого вполне упорядоченного множества, если справедливость этого утверждения для любого элемента вытекает из его справедливости для предшествующих элементов
том, что для языков бесконечного порядка невозможно семантически определить истину без использования трансфинитной...
индукции), не может быть точно сформулирован без теории семантических категорий.
Указаны четыре математических метода решения задач и доказательства теорем. Отмечены имена ученых, внесших вклад в их формирование и развитие. Показаны многочисленные примеры применения этих методов. Приведена историческая справка.
незамкнутая центральная поверхность 2-го порядка
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
множество, в котором не существует связного подмножества, содержащего более одной точки