The term 'infinite non-natural numbers' imports set-theoretic ontology into a purely syntactic resul...