Van Bendegem, J. P. (2003). Classical arithmetic is quite unnatural. Logic and Logical Philosophy, (11-12), 231–249. https://doi.org/10.12775/LLP.2003.012