FOM: Challenge axioms, final draft

Kanovei kanovei at
Tue Feb 10 04:50:24 EST 1998

>Date: Fri, 6 Feb 1998 09:21:21 -0500 (EST)
>From: cxm7 at (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

More information about the FOM mailing list