i.e., A mathematical proof is a sequence of statements in which each statement is either an axiom, or is derived from preceding statements by some rule of reasoning
Another way to see it is that we have an infinite sum
\[\sqrt 2 = 1+ 0.4 + 0.01 + 0.004 + ...\] or
\[\sqrt 2 = 1+ \frac{4}{10} + \frac{1}{100} + \frac{4}{1000}+ ...\]
That is, $\sqrt 2 = 1.4142135…$
where the three dots indicate that the process goes on indefinitely.
That is these early Indian ganita texts adopted a pragmatic attitude
In an infinite series, simply sum a finite number of terms to the required precision.
That is exactly what we still do in practice, for ALL applications of mathematics to science and engineering.
E.g. De Morgan a very influential professor from University College London
foolishlydeclared negative numbers impossible. (Morgan, Augustus de. Elements of Algebra: Preliminary to the Differential Calculus, 2nd ed. London: Taylor and Walton, 1837, p. xi.
(not possible with Roman numerals: only III can be added at the end)
Hence Florence passed a law against zero in 1299.
How many of you would like to study in University college London?
Please raise your hands.
De Morgan's folly
E.g. De Morgan a very influential professor from University College London
foolishlydeclared negative numbers impossible. (Morgan, Augustus de. Elements of Algebra: Preliminary to the Differential Calculus, 2nd ed. London: Taylor and Walton, 1837, p. xi.