Для оціночних обчислень використовують, у першу чергу, закони монотонності. Наприклад, щоб визначити порядок добутку , можна скористатись такою оцінкою . Див. також Теоретична арифметика Формальна арифметика Елементарна алгебра