Van Bendegem, J. P. “Classical Arithmetic Is Quite Unnatural”. Logic and Logical Philosophy, no. 11-12, Nov. 2003, pp. 231-49, doi:10.12775/LLP.2003.012.