
New Foundations (NF) ist der Name einer axiomatischen Mengenlehre von Willard Van Orman Quine, benannt nach dessen Aufsatz New Foundations for Mathematical Logic (Neue Grundlagen der mathematischen Logik) von 1937. NF tendiert in mancher Hinsicht zur Typentheorie und unterscheidet sich von der Zermelo-Fraenkel-Mengenlehre in vielen Punkten, zum Be...
Gefunden auf
https://de.wikipedia.org/wiki/New_Foundations
Keine exakte Übereinkunft gefunden.