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