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

[Thomas Forster]

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.

            Thomas