[FOM] counted sets

Arnold Neumaier 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
infinite set?

For it seems to me that every counted infinite set is naturally a
model of the Peano axioms.

Arnold Neumaier

More information about the FOM mailing list