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
|
| http://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
|