English New Foundations Cited by user Rjwilmsi on 04 Feb 2018 In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia…