@booklet { Gutman20080808, author = "Gutman A.E. and Kutateladze S.S.", note = "Electronic preprint / arXiv:0808.1164 [math.GM]", howpublished = "Electronic", title = "A trivial formalization of the theory of grossone", address = "arXiv.org", year = "2008", pages = "6", annote = "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.", keywords = "nonstandard analysis, infinitesimal analysis, positional numeral system" }