Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:law
|
gptkbp:alsoKnownAs |
gptkb:Axiom_of_Extensionality
|
gptkbp:cause |
gptkb:Russell's_paradox
|
gptkbp:formedBy |
gptkb:Gottlob_Frege
|
https://www.w3.org/2000/01/rdf-schema#label |
Basic Law V
|
gptkbp:influenced |
foundations of mathematics
development of modern logic |
gptkbp:language |
gptkb:German
|
gptkbp:partOf |
gptkb:Grundgesetze_der_Arithmetik
|
gptkbp:publicationYear |
1893
|
gptkbp:publishedIn |
gptkb:Grundgesetze_der_Arithmetik
|
gptkbp:relatedTo |
gptkb:Russell's_paradox
gptkb:logic gptkb:set_theory |
gptkbp:state |
For all concepts F and G, the extension of F equals the extension of G if and only if for all objects x, F(x) if and only if G(x).
|
gptkbp:type |
inconsistent in naive set theory
|
gptkbp:bfsParent |
gptkb:Grundgesetze_der_Arithmetik
|
gptkbp:bfsLayer |
5
|