[FOM] Formalization Thesis

S. S. Kutateladze sskut at math.nsc.ru
Fri Dec 28 20:47:54 EST 2007

12/28/2007, Messing wrote:
 In ZFC a category is defined as an
 ordered sextuple: C = (M, O, s, t, c, i) where M and O are sets
In ZFC, yes; but a category may fail to be a set.
'''''''''''''''''''''''''''''''                      ...
Messing wrote:...  hieroglyphs... nothing but an historical
This is not so. There is an analogy between the natural languages
(Maya and Latin, for instance) and first order theories (ZFC and
CM)  inexpressible in one another. My tacit hope is that
this analogy might help to acknowledge the inadequacy of the FT.
Historical circumstances are much more than nothing---that's my
another point.

Sobolev Institute of Mathematics
Novosibirsk State University
            mailto: sskut at math.nsc.ru
            copyto: sskut at academ.org       

More information about the FOM mailing list