| dbo:description
|
- mathematischer Satz (de)
- théorème (fr)
- proposição em lógica de segunda ordem que deriva axiomas de Peano a partir de Hume (pt)
- metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:date
|
- 2016-10-21 (xsd:date)
- 2017-08-29 (xsd:date)
|
| dbp:url
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdfs:label
|
- Frege's theorem (en)
- Freges Theorem (de)
- Teorema de Frege (es)
- Théorème de Frege (fr)
- フレーゲの定理 (ja)
- 프레게의 정리 (ko)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:notableIdea
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:notableIdeas
of | |
| is rdfs:seeAlso
of | |
| is foaf:primaryTopic
of | |
