Аннотация:
Дана тривиальная формализация неформальных рассуждений серии работ Я. Д. Сергеева о позиционной системе счисления с бесконечно большим основанием (гросс-единицей), произвольно противопоставленной ее автором классическому нестандартному анализу.
Ключевые слова:нестандартный анализ, инфинитезимальный анализ, позиционная система счисления.