[FOM] counted sets
Arnold.Neumaier at univie.ac.at
Sat Aug 29 07:36:21 EDT 2009
joeshipman at aol.com wrote:
> I saw Conway yesterday and he confirmed that he remembered inventing
> the term "counted set"
Would it be appropriate to say that the Peano axioms do not really
define the natural numbers, but rather the concept of a counted
For it seems to me that every counted infinite set is naturally a
model of the Peano axioms.
More information about the FOM