FOM: Challenge axioms, final draft

[Kanovei]

>Date: Fri, 6 Feb 1998 09:21:21 -0500 (EST)
>From: cxm7 at po.cwru.edu (Colin McLarty)
>Here is a final version of the challenge axioms.

To accomplish the picture, could a short formal 
declaration be attached, to explain the assumed 
role and importance of the proposed system for 
f.o.m ? 

For instance the SET declaration would be that 
--------
set theory adequately presents all legitimate 
mathematical objects as sets, supports all known 
correct ways of mathematical reasoning, and 
converts all known mathematical theorems to 
theorems about sets (or: theorems of ZFC).
---------

What the categorists are going to declare about 
the axiom system of Colin McLarty ? (An optional 
part of this would be to explain why it is better 
than the set theoretic foundations.)

Vladimir Kanovei