Developing arithmetic in set theory without infinity: some historical remarks