Title: A set of postulates for arithmetic and algebra