New Foundations (NF) set theory

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory
gptkbp:abbreviation	gptkb:NF
gptkbp:allows	Russell class as a set
gptkbp:basisFor	gptkb:mathematics
gptkbp:category	gptkb:logic gptkb:alternative_set_theory
gptkbp:compatibleWith	gptkb:Axiom_of_Choice
gptkbp:consistencyStatus	open
gptkbp:contrastsWith	gptkb:von_Neumann–Bernays–Gödel_set_theory gptkb:Zermelo-Fraenkel_set_theory
gptkbp:feature	universal set exists stratified comprehension type theory inspired
gptkbp:hasAxiom	extensionality stratified comprehension
gptkbp:hasModel	gptkb:unknown
gptkbp:hasVariant	gptkb:NFU
gptkbp:introduced	gptkb:Willard_Van_Orman_Quine
gptkbp:introducedIn	1937
gptkbp:NFUFeature	urelements allowed
gptkbp:NFUIntroducedBy	gptkb:Ronald_Jensen
gptkbp:NFUYear	1969
gptkbp:publishedIn	gptkb:American_Mathematical_Monthly
gptkbp:relatedTo	gptkb:logic Quine's philosophy
gptkbp:studiedBy	gptkb:J._Barkley_Rosser gptkb:Thomas_Forster gptkb:Ronald_Jensen gptkb:Randall_Holmes
gptkbp:website	https://plato.stanford.edu/entries/settheory-alternative/#NewFouNF
gptkbp:bfsParent	gptkb:Universal_(set_theory)
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	New Foundations (NF) set theory