Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:result_in_logic |
| gptkbp:discusses |
gptkb:Stanford_Encyclopedia_of_Philosophy
academic literature on logicism |
| gptkbp:influenced |
gptkb:logic
logicism movement |
| gptkbp:namedAfter |
gptkb:Gottlob_Frege
|
| gptkbp:provenBy |
gptkb:Gottlob_Frege
|
| gptkbp:publishedIn |
gptkb:Grundgesetze_der_Arithmetik
|
| gptkbp:relatedTo |
gptkb:Peano_arithmetic
gptkb:second-order_logic gptkb:Hume's_Principle logicism |
| gptkbp:significance |
shows arithmetic is reducible to logic plus Hume's Principle
|
| gptkbp:state |
Peano arithmetic can be derived from Hume's Principle in second-order logic
|
| gptkbp:bfsParent |
gptkb:Hume's_Principle
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Frege's Theorem
|