New Foundations (NF) set theory

URI: https://gptkb.org/entity/New_Foundations_(NF)_set_theory
GPTKB entity
Statements (33)
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 unknown
gptkbp:hasVariant gptkb:NFU
https://www.w3.org/2000/01/rdf-schema#label New Foundations (NF) set theory
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 6