Primitive Recursive Arithmetic Formula Sequence