Towards an Arithmetical Logic