Inductive set (axiom of infinity)

In the context of the axiom of infinity, an inductive set (also known as a successor set) is a set X with the property that, for every , the successor x' of x is also an element of X.

An example of an inductive set is the set of natural numbers.

[edit] See also

• Natural number
• Peano axioms

[edit] External links

• Mathworld: Inductive set

This article incorporates material from inductive set on PlanetMath, which is licensed under the GFDL.

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.