Abstract

The system of arithmetic considered in Consistency, which is essentially second-order Peano Arithmetic without the Successor Axiom, is used to prove more theorems of arithmetic, up to Quadratic Reciprocity.