FOM: role of formalization in f.o.m.
T.Forster at dpmms.cam.ac.uk
Fri May 28 07:08:29 EDT 1999
>For example, if Holmes and Forster want to show that NFU is viable as
a foundational setup for mathematics, they need to sketch how various
mathematical topics can be formalized in NFU.
It would be a pleasure! Which bits of mathematics have the NFistes
not yet shown how to implement in NF(U) to your satisfaction? I
hope and trust we will be able to oblige you.
More information about the FOM