"Bullard, Claude L (Len)" scripsit:
> Doesn't that make type synonymous with set?
No. Types have to be specifiable: there are only countably many types,
but there are uncountably many sets, indeed $2^\aleph_0$ of them.
An easy way to achieve this is to require that types have names.
--
John Cowan http://www.reutershealth.com
"Mr. Lane, if you ever wish anything that I can do all you will have
to do will be to send me a telegram asking and it will be done."
"Mr. Hearst, if you ever get a telegram from me asking you to do
anything you can put the telegram down as a forgery."
