Describir: Predicative Arithmetic. (MN-32)