Actual and potential infinity

Common card · No. 409719

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...

Read on Wikipedia