structural:expansion, linguistic:translation
Soundness of calculus

Weierstrass was interested in the soundness of calculus, and at the time there were somewhat ambiguous definitions of the foundations of calculus so that important theorems could not be proven with sufficient rigour. Although Bolzano had developed a reasonably rigorous definition of a limit as early as 1817 (and possibly even earlier) his work remained unknown to most of the mathematical community until years later,and many mathematicians had only vague definitions of limits and continuity of functions.

The basic idea behind Delta-epsilon proofs is, arguably, first found in the works of Cauchy in the 1820s. Cauchy did not clearly distinguish between continuity and uniform continuity on an interval. Notably, in his 1821 Cours d'analyse, Cauchy argued that the (pointwise) limit of (pointwise) continuous functions was itself (pointwise) continuous, a statement that is false in general. The correct statement is rather that the uniform limit of continuous functions is continuous (also, the uniform limit of uniformly continuous functions is uniformly continuous).This required the concept of uniform convergence, which was first observed by Weierstrass's advisor, Christoph Gudermann, in an 1838 paper, where Gudermann noted the phenomenon but did not define it or elaborate on it. Weierstrass saw the importance of the concept, and both formalized it and applied it widely throughout the foundations of calculus.

The formal definition of continuity of a function, as formulated by Weierstrass, is as follows:

f (x) {\displaystyle \displaystyle f(x)} is continuous at x = x 0 {\displaystyle \displaystyle x=x_{0}} if ∀ ε > 0 ∃ δ > 0 {\displaystyle \displaystyle \forall \ \varepsilon >0\ \exists \ \delta >0} such that for every x {\displaystyle x} in the domain of f {\displaystyle f}, | x − x 0 | < δ ⇒ | f (x) − f (x 0) | < ε. {\displaystyle \displaystyle \ |x-x_{0}|<\delta \Rightarrow |f(x)-f(x_{0})|<\varepsilon.} In simple English, f (x) {\displaystyle \displaystyle f(x)} is continuous at a point x = x 0 {\displaystyle \displaystyle x=x_{0}} if for each x {\displaystyle x} close enough to x 0 {\displaystyle x_{0}}, the function value f (x) {\displaystyle f(x)} is very close to f (x 0) {\displaystyle f(x_{0})}, where the "close enough" restriction typically depends on the desired closeness of f (x 0) {\displaystyle f(x_{0})} to f (x). {\displaystyle f(x).} Using this definition, he proved the Intermediate Value Theorem. He also proved the Bolzano–Weierstrass theorem and used it to study the properties of continuous functions on closed and bounded intervals.