Auch das Auswahlaxiom kann nicht als Axiom zu NF hinzu genommen werden – Ernst Specker bewies 1949 dessen Unverträglichkeit mit den übrigen Axiomen von NF. Außerdem kann man die Existenz der Menge der natürlichen Zahlen nicht beweisen.