Dedekind's proof

Abstract

In "The Nature and Meaning of Numbers," Dedekind produces an original, quite remarkable proof for the holy grail in the foundations of elementary arithmetic, that there are an infinite number of things. It goes like this. [p, 64 in the Dover edition.] Consider the set S of things which can be objects of my thought. Define the function phi(s), which maps an element s of S to the thought that s can be an object of my thought. Then phi is evidently one-to-one, and the image of phi is contained in S. Indeed, it is properly contained in S, because I myself can be an object of my thoughts and so belong to S, but I myself am not a mere thought. Thus S is infinite.

Author's Profile

Analytics

Added to PP
2009-01-28

Downloads
101 (#83,231)

6 months
36 (#84,740)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?