Single Idea 17800

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

Full Idea

The (misnamed!) Axiom of Infinity expresses Cantor's fundamental assumption that the species of natural numbers is finite in size.

Gist of Idea

The misnamed Axiom of Infinity says the natural numbers are finite in size

Source

John Mayberry (What Required for Foundation for Maths? [1994], p.414-2)

Book Reference

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.414