Inductive definitions over a predicative arithmetic

Girard's maxim, that Peano Arithmetic is (best viewed as) a theory of one inductive definition, is re-examined in the light of a weak theory EA(I;O) formalising basic principles of Nelson's predicative Arithmetic.