Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:field |
gptkb:logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Frege's theorem
|
| gptkbp:influenced |
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell gptkb:Principia_Mathematica |
| gptkbp:namedAfter |
gptkb:Gottlob_Frege
|
| gptkbp:publishedIn |
gptkb:Grundgesetze_der_Arithmetik
|
| gptkbp:relatedTo |
gptkb:Peano_arithmetic
gptkb:second-order_logic logicism |
| gptkbp:state |
the axioms of arithmetic can be derived in second-order logic from Hume's principle
|
| gptkbp:type |
gptkb:Russell's_paradox
|
| gptkbp:year |
1893
|
| gptkbp:bfsParent |
gptkb:The_Foundations_of_Arithmetic
|
| gptkbp:bfsLayer |
6
|