Theory of arithmetic