gptkbp:instanceOf
|
gptkb:set_theory
|
gptkbp:abbreviation
|
gptkb:NF
|
gptkbp:allows
|
universal set
|
gptkbp:alsoKnownAs
|
gptkb:New_Foundations
|
gptkbp:compatibleWith
|
gptkb:Axiom_of_Choice
|
gptkbp:creator
|
gptkb:Willard_Van_Orman_Quine
|
gptkbp:feature
|
universal set exists
uses stratified comprehension
avoids Russell's paradox by stratification
|
gptkbp:field
|
gptkb:logic
foundations of mathematics
|
gptkbp:hasAxiom
|
extensionality axiom
stratified comprehension axiom
|
gptkbp:hasModel
|
no known model in ZFC
|
https://www.w3.org/2000/01/rdf-schema#label
|
Quine's New Foundations
|
gptkbp:influencedBy
|
gptkb:Russell's_type_theory
|
gptkbp:notable_for
|
gptkb:NFU_(New_Foundations_with_Urelements)
|
gptkbp:notableAchievement
|
consistency not yet proven relative to ZFC
consistency relative to TST + Infinity
|
gptkbp:publishedIn
|
gptkb:American_Mathematical_Monthly
|
gptkbp:relatedTo
|
gptkb:Zermelo-Fraenkel_set_theory
Type theory
|
gptkbp:studiedBy
|
gptkb:J._Barkley_Rosser
gptkb:Thomas_Forster
gptkb:Randall_Holmes
|
gptkbp:website
|
https://plato.stanford.edu/entries/settheory-alternative/#NewFounNF
|
gptkbp:yearProposed
|
1937
|
gptkbp:bfsParent
|
gptkb:New_Foundations_with_Urelements
gptkb:Jensen's_model_(NFU)
|
gptkbp:bfsLayer
|
7
|