FOM: Challenge axioms, final draft
Kanovei
kanovei at wminf2.math.uni-wuppertal.de
Tue Feb 10 04:50:24 EST 1998
>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
More information about the FOM
mailing list