Single Idea 13044

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V]

Full Idea

Axiom of Infinity: There is at least one limit level.

Gist of Idea

Infinity: There is at least one limit level


Michael Potter (Set Theory and Its Philosophy [2004], 04.9)

Book Reference

Potter,Michael: 'Set Theory and Its Philosophy' [OUP 2004], p.68

A Reaction

A 'limit ordinal' is one which has successors, but no predecessors. The axiom just says there is at least one infinity.

Related Idea

Idea 15931 The iterative conception needs the Axiom of Infinity, to show how far we can iterate [Lavine]