Frege's theorem
metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle
| rdfs:label |
"Frege's theorem"@en
|
| schema:description |
"metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle"@en
|
|
schema:date |
"2026-02-05T09:31:26+00:00"^^xsd:dateTime |
| schema:version | 2460853502 |
| wikibase:identifiers | 3 |
| wikibase:sitelinks | 7 |
| wikibase:statements | 6 |
| p:P138 | wd:statement/Q1052005-601f0601-4868-2aa3-702a-ed581516c660 |
| p:P31 | wd:statement/Q1052005-2BF2C600-2CBB-40B9-932C-D893911C2B83 |
| p:P3123 | wd:statement/Q1052005-55E4376B-CC49-4E52-980E-BA48626DB325 |
| p:P6104 | wd:statement/Q1052005-67C13783-CA98-4B97-942D-8FAAF3E0FE7B |
| p:P6366 | wd:statement/Q1052005-27C70431-E7D1-4F19-AEA1-33B7DE842D2A |
| p:P646 | wd:statement/Q1052005-3BF2DF77-DDD2-47C2-9AC3-184DF4298B8B |
|
p:direct- |
<https:/ |
| wdt:P138 | Gottlob Frege |
| wdt:P31 | theorem |
| wdt:P3123 | "frege-theorem" |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "2779904397" |
| wdt:P646 | "/m/0ck6vp" |
Download as: