A trivial formalization of the theory of grossone
arXiv:0808.1164
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.
6 pages; a footnote on a foundation support is added