Теория формализации есть механика времени. Пространство числового ряда неоднородно в том смысле, что в нем есть "выделенные места и направления" — простые числа, "выделенные моменты времени". Теория формализации, таким образом, утверждает, что простое число есть тот физический опыт внутри замкнутой физической системы, который позволяет определить, покоится ли эта система или движется равномерно и прямолинейно (относительно системы бесконечно удаленных тел). Не существует предельной скорости распространения физических объектов и воздействий — чисел, которая одинакова во всех инерциальных системах отсчета. Не существует физического вакуума. "Прямая проверка независимости скорости света от скорости источника" отражает неполноту формализации. Таким образом, все физические явления, включая распространение света (и, следовательно, все законы природы), в различных инерциальных системах отсчета выглядят совершенно одинаково именно в качестве числовых явлений. Такая особенность законов природы, которая носит название лоренцевой инвариантности, имеет своим основанием закон простых чисел. Скорость распространения числа есть бесконечная скорость, которая в силу этого является "самым быстрым способом распространения взаимодействия в физических системах". Существование бесконечной скорости распространения взаимодействия снимает ограничения на модели в релятивистской физике. Оказывается допустимой модель абсолютно твердого тела, так как под воздействием приложенной к нему силы все точки тела мгновенно изменяют свои механические состояния. Такова модель пространства времени.

Преобразования Лоренца, обобщающие формулы Галилея перехода от одной инерциальной системы отсчета в другую, являются неполной формализацией истинного математического представления о времени.