NFU (New Foundations with Urelements)
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:abbreviation |
gptkb:New_Foundations_with_Urelements
|
| gptkbp:allows |
urelements
|
| gptkbp:basedOn |
gptkb:New_Foundations
|
| gptkbp:category |
gptkb:logic
foundations of mathematics |
| gptkbp:compatibleWith |
gptkb:Axiom_of_Choice
|
| gptkbp:consistentRelativeTo |
gptkb:Peano_arithmetic
|
| gptkbp:contrastsWith |
gptkb:Zermelo-Fraenkel_set_theory
|
| gptkbp:developedBy |
gptkb:Ronald_Jensen
|
| gptkbp:firstPublished |
1969
|
| gptkbp:hasModel |
gptkb:Jensen's_model
|
| gptkbp:permits |
universal set
sets of all sets not containing themselves |
| gptkbp:uses |
stratified comprehension
|
| gptkbp:bfsParent |
gptkb:Quine's_set_theory
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
NFU (New Foundations with Urelements)
|