Abstract: | The theory New Foundations (NF) of Quine was introduced in 14]. This theory is finitely axiomatizable as it has been proved in 9]. A similar result is shown in 8] using a system called K. Particular subsystems of NF, inspired by 8] and 9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in 11] it is shown that the existence of some sets which appear naturally in ZF is an axiom independent from NF (see also 12]). Here we discuss a model of subsystems of NF in which there is a set which is a model of ZF. MSC: 03E70. |