A trivial formalization of the theory of grossone

Abstract

A trivial formalization is given for the informal reasonings presented in a series of papers by Ya. D. Sergeyev on a positional numeral system with an infinitely large base, grossone; the system which is groundlessly opposed by its originator to the classical nonstandard analysis.