Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
квантор ∀, ставящий предикату P в соответствие высказывание ∀x P (x), утверждающее, что область истинности предиката P совпадает с его областьюопределения, т. е. «P(x) для всех x»; напр., высказывание ∀α(sin α≤ 1) утверждает, что синус любого угла не превышает единицы
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
максимальный связный подграф данного графа
эрмитова матрица