Euclidean arithmetic

the finitary theory of finite sets

J.P. Mayberry

pp. 227-243

in: Giovanni Sommaruga (ed), Foundational theories of classical and constructive mathematics, Berlin, Springer, 2011

Abstract

There is a central fallacy that underlies all our thinking about the foundations of arithmetic. It is the conviction that the mere description of the natural numbers as the 'successors of zero" (i.e., as what you get by starting at 0 and iterating the operation x ↦ x + 1) suffices, on its own, to characterise the order and arithmetical properties of those numbers absolutely. This is what leads us to suppose that the dots of ellipsis in