Nous Fonaments

Nous Fonaments, més coneguda com NF, és una teoria de conjunts formal proposta per primera volta per Willard Van Orman Quine com un intent de simplificar la teoria de tipos desenrollada per Bertrand Russell i Whitehead en els Principia Mathematica. Es caracterisa per ser incompatible en l'axioma d'elecció, per l'elegància de la seua formulació i per l'existència del conjunt universal. El problema de la consistència relativa de NF és encara obert.

Axioma

1. Axioma de comprehsión estratificada: Siga φ una fòrmula estratificada, llavors el conjunt {x: φ} existix.

2. Axioma de extensionalidad: Sean A i B dos conjunts qualssevol, si A ⊆ B i B ⊆ A, llavors, A = B.