Postulates for an Abstract Arithmetic

I here give a precise definition of an abstract arithmetic, that is, one whose elements are marks in the technical sense, and state a few of its simpler properties. The principal advance over the work summarized in "General Arithmetic" lies in the fact that I no longer assume that "multiplication" is commutative.