[FOM] counted sets

[Arnold Neumaier]

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