Infinite product in the context of Infinite series

In the philosophy of mathematics, the abstraction of actual infinity, also called completed infinity, involves infinite entities as given, actual and completed objects. Actual infinity is to be contrasted with potential infinity, in which an endless process (such as "add 1 to the previous number") produces a sequence with no last element, and where each individual result is finite and is achieved in a finite number of steps. This type of process occurs in mathematics, for instance, in standard formalizations of the notions of mathematical induction, infinite series, infinite products, and limits.

The concept of actual infinity was introduced into mathematics near the end of the 19th century by Georg Cantor with his theory of infinite sets, and was later formalized into Zermelo–Fraenkel set theory. This theory, which is presently commonly accepted as a foundation of mathematics, contains the axiom of infinity, which means that the natural numbers form a set (necessarily infinite). A great discovery of Cantor is that, if one accepts infinite sets, then there are different sizes (cardinalities) of infinite sets, and, in particular, the cardinal of the continuum of the real numbers is strictly larger than the cardinal of the natural numbers.