New Foundations

New Foundations (NF ) is the name of an axiomatic set theory by Willard Van Orman Quine, named NF after his essay New Foundations for Mathematical Logic ( New foundations of mathematical logic ) of 1937. Tends in some respects to the type theory and differs from the Zermelo - Fraenkel set theory in many ways, for example, the axiom of choice does not apply and you can not prove the existence of the set of natural numbers. Thus, the NF- quantity term deviates greatly from the naturalized concept of a set. NF is more of a theory of real -existent classes in which the usual amount this is not present.