[FOM] Formalization Thesis

[S. S. Kutateladze]

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
circumstance.
---------------------------------------------------
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       
http://www.math.nsc.ru/LBRT/g2/ruswin/ssk/index.html