FOM: "generality" for fom(?)
Kanovei
kanovei at wminf2.math.uni-wuppertal.de
Sat Feb 14 11:27:57 EST 1998
>Date: Sat, 14 Feb 1998 07:52:15 -0500
>From: Robert Tragesser <RTragesser at compuserve.com>
> Isn't "generality" a great virtue in fom investigations?
0 = 0 is one of the most general mathematical facts,
compatible with any theory (even with the topos theory,
as it was indicated that the latter is essentially
a restricted form of Zermelo).
In view of this, would R.Tragesser consider 0 = 0 as
even more important that the topos theory for f.o.m. ?
Vladimir Kanovei
More information about the FOM
mailing list