Primitive recursion's computability is intrinsic to its definition; model equivalence transfers this...
This proposition has not been edited since the history system was added.