Eventually , Weierstrass and Bolzano are credited with providing a modern formula _ 16 footing for calculus in the form of the rigorous definition of the limit .
Eventually , Weierstrass and Bolzano are credited with providing a rigorous footing for calculus in the form of the modern formula _ 16 definition of the limit .