[FOM] can't resist

[Randall Holmes]

Dear FOM colleagues,

I can't resist adding that in type theory over character strings another
method of defining the natural numbers, entirely in line with naive
folk usage, presents itself:  define 0 as "0", 1 as "1", 10 as "10",
and so forth.  I suspect that this is the commonest folk mathematical
ontology (although it actually presents certain difficulties) and it
is perfectly possible to formalize it :-)

--Randall