Article ID Journal Published Year Pages File Type
4626897 Applied Mathematics and Computation 2015 12 Pages PDF
Abstract

We propose an axiomatization of Sergeyev’s theory of Grossone, trying to comply with his methodological principles. We find that a simplified form of his Divisibility axiom is sufficient. We use for easier readability a second order language and a predicative second order logic. Our theory is not finitely axiomatizable and is a conservative extension of Peano’s arithmetic.

Related Topics
Physical Sciences and Engineering Mathematics Applied Mathematics
Authors
,