As you can see from finite set, there are at least five definitions of that term, which are all equivalent given the axiom of choice. The negation of any of these gives a definition of infinite set.

A set $S$ is infinite if, given any natural number$n$ and a finite sequence$(x_1, \ldots, x_n)$ of elements of $S$, there exists an element $y$ of $S$ such that $y = x_i$ is always false.

In other words, given any function$f$ from a Kuratowski-finite set to $S$, there exists an element of $S$ that is not in the image of $f$. (Although because only the image matters, the definition would be equivalent if we required $S$ to be Bishop-finite, that is finite in the strictest sense.) This is essentially a variation of Richard Dedekind's definition of a Dedekind-infinite set.

Note that you can make this definition work without previously assuming the existence of natural numbers, by using an infinity-free definition of Kuratowski-finite set.

Remarks

Probably a lot to say about the relation between the various definitions of infinite set (the one above, the negations of the definitions of finite set, and others that might be studied). In the meantime, try the English Wikipedia.

Last revised on August 19, 2019 at 00:32:09.
See the history of this page for a list of all contributions to it.