@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q1052005 rdfs:label "Teorema de Frege"@ca,
        "Freges Theorem"@de,
        "Frege's theorem"@en,
        "teoremo de Frege"@eo,
        "teorema de Frege"@es,
        "théorème de Frege"@fr,
        "フレーゲの定理"@ja,
        "프레게의 정리"@ko,
        "teorema de Frege"@pt,
        "Teorema de Frege"@pt-br,
        "Frege teoremi"@tr ;
    schema1:dateModified "2026-02-05T09:31:26+00:00"^^xsd:dateTime ;
    schema1:description "mathematischer Satz"@de,
        "metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle"@en,
        "théorème"@fr,
        "proposição em lógica de segunda ordem que deriva axiomas de Peano a partir de Hume"@pt ;
    schema1:version 2460853502 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 7 ;
    wikibase:statements 6 ;
    p:P138 wds:Q1052005-601f0601-4868-2aa3-702a-ed581516c660 ;
    p:P31 wds:Q1052005-2BF2C600-2CBB-40B9-932C-D893911C2B83 ;
    p:P3123 wds:Q1052005-55E4376B-CC49-4E52-980E-BA48626DB325 ;
    p:P6104 wds:Q1052005-67C13783-CA98-4B97-942D-8FAAF3E0FE7B ;
    p:P6366 wds:Q1052005-27C70431-E7D1-4F19-AEA1-33B7DE842D2A ;
    p:P646 wds:Q1052005-3BF2DF77-DDD2-47C2-9AC3-184DF4298B8B ;
    wdtn:P6366 <https://makg.org/entity/2779904397> ;
    wdt:P138 wd:Q60028 ;
    wdt:P31 wd:Q65943 ;
    wdt:P3123 "frege-theorem" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2779904397" ;
    wdt:P646 "/m/0ck6vp" .