Абелев интеграл
интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x
правило вывода в виде: если истинны высказывание A и импликация A → B, то истинно и высказывание B
интеграл вида ∫f (x, y) dx, (от a до b), где f — рациональная функция от двух переменных и y — алгебраическая функция от x
числовой сходящийся ряд вида (|q| < 1): a1 + a1q + … + a1qn + …; сумма его равна a1/1 - q
истинный нормальный делитель