New Foundations

In mathematical logic, New Foundations (NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search