Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4626897 | Applied Mathematics and Computation | 2015 | 12 Pages |
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
Gabriele Lolli,