[cubefox]

Yeah, but this terminological distinction is not really justified. It should be simply between first and second order Peano arithmetic.