Predicative arithmetic