Тут есть интересный момент. Мы привыкли, что значение "числового выражения" определяется только значениями операндов. Например, чтобы подсчитать, чему равно
не надо, вообще говоря, привлекать никаких других сумм.
Но вот что такое хотя бы
? На вид -- числовое выражение. Но строится оно с помощью предельного перехода: находим последовательность положительных чисел вида
, приближающуюся к 2. Тогда сама последовательность
будет сходиться к некоторому числу, которое мы и назовем корнем из 2.
При желании можно ограничиться рациональными
или даже конечными десятичными дробями. В любом случае в этом "числовом выражении" скрыта теория вещественных чисел и продолжение функций по непрерывности. То есть ситуация такова: выражение типа
или
можно получить только после того, как будет построена соответствующая функция.