Logic-free formalisations of recursive arithmetic