Axiom of stratified comprehension
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
gptkb:set_theory |
| gptkbp:appearsIn |
gptkb:New_Foundations_for_Mathematical_Logic
|
| gptkbp:category |
gptkb:logic
gptkb:Set_theory |
| gptkbp:contrastsWith |
Unrestricted comprehension axiom
|
| gptkbp:formedBy |
gptkb:Willard_Van_Orman_Quine
|
| gptkbp:guarantees |
Consistency of set formation in NF
|
| https://www.w3.org/2000/01/rdf-schema#label |
Axiom of stratified comprehension
|
| gptkbp:introducedIn |
1937
|
| gptkbp:prevention |
gptkb:Russell's_paradox
|
| gptkbp:prohibits |
Comprehension schema
|
| gptkbp:relatedTo |
Type theory
|
| gptkbp:requires |
Stratification of formulas
|
| gptkbp:state |
For any stratified formula φ(x), there exists a set of all x such that φ(x) holds.
|
| gptkbp:usedIn |
gptkb:New_Foundations
gptkb:NFU |
| gptkbp:bfsParent |
gptkb:Quine's_set_theory
|
| gptkbp:bfsLayer |
6
|