Consistency of NF

Gabbay, Jamie M.Gabbay at
Mon Feb 28 00:08:00 EST 2022

Some of you may recall that I've been working on the consistency of Quine's NF for a few years.

I've been developing a new angle, which I've posted here:

I believe this approach has potential, and it has been looked at by at least one person other than myself without exposing major flaws so far.  I feel the argument could now be usefully examined by the broader community, in the hope that we can either confirm it as correct, or successfully refine it if required.

I welcome questions and comments.  Thanks in advance.


Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes:

  1.  Heriot-Watt University, a Scottish charity registered under number SC000278
  2.  Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS.

The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220228/5cf21829/attachment-0001.html>

More information about the FOM mailing list