A trivial formalization of the theory of grossone

TL;DR

This paper provides a simple formalization of Sergeyev's grossone theory, clarifying its foundations and addressing criticisms by contrasting it with classical nonstandard analysis.

Contribution

It offers a straightforward formalization of grossone, clarifying its conceptual basis and contrasting it with established nonstandard analysis frameworks.

Findings

Formalization clarifies grossone's conceptual basis

Highlights differences with nonstandard analysis

Addresses criticisms of grossone system

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.