![]() | This article contains too many or overly lengthy quotations. (June 2010) |
In the philosophy of mathematics, the abstraction of actual infinity, also called completed infinity,[1] involves the acceptance (if the axiom of infinity is included) of infinite entities as given, actual and completed objects. These might include the set of natural numbers, extended real numbers, transfinite numbers, or even an infinite sequence of rational numbers. Actual infinity is to be contrasted with potential infinity, in which a non-terminating 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 an infinite series, infinite product, or limit.[2]