Recursive number theory - a development of recursive arithmetic in a logic-free equation calculus