On Grzegorczyk induction Original Research Article

We investigate the “mathematical” strength of the theory View the MathML source. In particular we prove the quadratic reciprocity law and Bertrandʹs postulate, using fragments of View the MathML source which employ some well-known number-theoretic functions.