Predicative Arithmetic. (MN-32)