Уничтожение иррациональности в знаменателе дроби

значение, которое могут принимать рассматриваемые в математической логике высказывания; число различных истинностных значений определяет значность, или валентность логики

для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)

число, обладающее свойствами: a ± 0 = a, a ⋅ 0 = 0; деление на нуль невозможно