FOM: role of formalization in f.o.m.

Thomas Forster T.Forster at
Fri May 28 07:08:29 EDT 1999

Steve writes:
>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 mailing list