Foundations of calculus