🚀 go-pugleaf

In article <TORKEL.92Nov21195445@bast.sics.se> torkel@sics.se (Torkel Franzen) writes:

>  The distinction is quite simple. "Provability in T" is an example of a
>concept that has a formal system as a parameter, "uncountable" is an
>example of a concept that has no formal system as a parameter, whether
>explicit or implicit.

Perhaps the distinction is quite simple, but I fail to see it.  In
particular I fail to see why there isn't an implicit formal system
in the concept of "uncountable".  Unless one accepts the notion of
the absolute uncountable, uncountability is always relative to s
system and a model for the system, is it not?
-- 
Richard Harter: SMDS Inc.  Net address: rh@smds.com Phone: 508-369-7398 
US Mail: SMDS Inc., PO Box 555, Concord MA 01742.    Fax: 508-369-8272
In the fields of Hell where the grass grows high
Are the graves of dreams allowed to die.