These systems provide a logical framework and a set of axioms for the formal study of arithmetic in the context of mathematical logic.