Rigorous study of the theory of calculus.