Single Idea 18104

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

Full Idea

Frege was able to prove that there are infinitely many individuals by taking the numbers themselves to be individuals, but this course was not open to Russell.

Gist of Idea

Frege, unlike Russell, has infinite individuals because numbers are individuals

Source

report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by David Bostock - Philosophy of Mathematics 5.2

Book Reference

Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.135