@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@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:Q842755 rdfs:label "بديهيات بيانو"@ar,
        "Peano aksiomaları"@az,
        "аксіомы Пеана"@be,
        "аксіёмы Пэана"@be-tarask,
        "аксиоми на Пеано"@bg,
        "Peanovi aksiomi"@bs,
        "Axiomes de Peano"@ca,
        "Peanovy axiomy"@cs,
        "Формаллĕ арифметика"@cv,
        "Peanos aksiomer"@da,
        "Peano-Axiome"@de,
        "Peano-Axiome"@de-ch,
        "Αξιώματα Πεάνο"@el,
        "Peano axioms"@en,
        "Peano axioms"@en-ca,
        "Peano axioms"@en-gb,
        "aksiomoj de Peano"@eo,
        "axiomas de Peano"@es,
        "Peanoren axiomak"@eu,
        "اصول موضوعه پئانو"@fa,
        "Peanon aksioomat"@fi,
        "axiomes de Peano"@fr,
        "מערכת פאנו"@he,
        "पियानो के अभिगृहीत"@hi,
        "aksioma Peano"@id,
        "assiomi di Peano"@it,
        "ペアノの公理"@ja,
        "პეანოს აქსიომები"@ka,
        "Пеано аксиомалары"@kk,
        "페아노 공리계"@ko,
        "Peano aksiomas"@lv,
        "Пеано аксиомууд"@mn,
        "Peanos aksiomer"@nb,
        "axioma's van Peano"@nl,
        "assiòma ëd Peano"@pms,
        "axiomas de Peano"@pt,
        "axiomas de Peano"@pt-br,
        "Axiomele lui Peano"@ro,
        "аксиомы Пеано"@ru,
        "Пеанове аксиоме"@sr,
        "Peanos axiom"@sv,
        "Peano aksiyomları"@tr,
        "аксіоми Пеано"@uk,
        "hệ tiên đề Peano"@vi,
        "皮亚诺公理"@zh,
        "皮亚诺公理"@zh-hans,
        "皮亞諾公理"@zh-hant,
        "皮亞諾公理"@zh-hk ;
    schema1:dateModified "2026-05-16T10:55:12+00:00"^^xsd:dateTime ;
    schema1:description "تعريف مسلماتي لمجموعة الأعداد الصحيحة الطبيعية عبر 5 بديهيات"@ar,
        "Axiome, die die Natürlichen Zahlen definieren"@de,
        "axiomatic system for the natural numbers"@en,
        "aksimaro pri la nenegativaj entjeroj"@eo,
        "sistema axiomático para los números naturales"@es,
        "matematiikassa Giuseppe Peanon esittämät yhdeksän aksioomaa, jotka määrittävät luonnolliset luvut"@fi,
        "axiomes pour l'arithmétique élémentaire sur l'ensemble des entiers naturels"@fr,
        "אקסיומה למספרים טבעיים"@he,
        "aksioma-aksioma untuk bilangan asli yang disampaikan oleh matematikawan Italia abad ke-19 Giuseppe Peano"@id,
        "Gruppo di assiomi ideati da Giuseppe Peano per definire l'insieme dei numeri naturali"@it,
        "自然数全体を公理化したもの"@ja,
        "O primeiro axioma afirma a existência de um número natural inicial, geralmente denotado por 1"@pt,
        "sistem de axiome aplicabil în mulțimea numerelor naturale"@ro,
        "hệ tiên đề"@vi,
        "公理系統"@zh ;
    schema1:version 2492523770 ;
    wikibase:identifiers 10 ;
    wikibase:sitelinks 38 ;
    wikibase:statements 18 ;
    skos:altLabel "حسابيات بيانو"@ar,
        "Postulats de Peano"@ca,
        "Sistema axiomatic de peano"@ca,
        "Peano'sche Axiome"@de,
        "Peano-Axiom"@de,
        "Peanosche Axiome"@de,
        "Dedekind–Peano axioms"@en,
        "Peano postulates"@en,
        "aksiomaro de Peano"@eo,
        "aksiomoj de Dedekind-Peano"@eo,
        "postulatoj de Peano"@eo,
        "postulados de Peano"@es,
        "אקסיומות פאנו"@he,
        "האקסיומות של פאנו"@he,
        "aksioma Dedekind–Peano"@id,
        "postulato di Peano"@it,
        "ペアノの定義"@ja,
        "ペアノ公理"@ja,
        "ペアノ定義"@ja,
        "ペアノ算術"@ja,
        "ペアーノの公理"@ja,
        "ペアーノの定義"@ja,
        "ペアーノ公理"@ja,
        "ペアーノ定義"@ja,
        "산술의 기본 공리"@ko,
        "페아노 공리"@ko,
        "페아노의 공리"@ko,
        "Assiòma ëd Pean"@pms,
        "Peanos axiomsystem"@sv,
        "Peano belitleri"@tr,
        "形式算术"@zh,
        "皮亚诺公设"@zh,
        "皮亞諾公理"@zh,
        "皮阿諾公設"@zh,
        "皮阿诺公理"@zh ;
    p:P10283 wds:Q842755-26DB2CDD-3A13-4808-86A4-4BC0335C467C ;
    p:P10376 wds:Q842755-6d70386a-43ef-c845-de72-ddd765b6bed6 ;
    p:P12385 wds:Q842755-ac15c05b-4e27-4b8e-b456-47afce28235a ;
    p:P1296 wds:Q842755-E345F879-C426-46EA-B699-FE6B09CF77C1 ;
    p:P138 wds:Q842755-3e59848d-4978-0311-461d-e632185e0c90,
        wds:Q842755-9359fda7-49c3-2b74-7601-1713609dca33 ;
    p:P1417 wds:Q842755-CD3CAD90-937C-466F-97C3-6807A7080022 ;
    p:P2534 wds:Q842755-7f8c7554-4cb2-b127-1dbc-58e7014033c2 ;
    p:P2670 wds:Q842755-d6b6a517-432b-0901-2f15-1a6ec136d00c ;
    p:P2812 wds:Q842755-AA64C28B-0450-44B0-9D14-06E95198676D ;
    p:P31 wds:Q842755-192ac744-4d05-3465-04f9-2dee71d5b23b ;
    p:P361 wds:Q842755-10d3373c-4c31-8dab-e2ab-fee70be8f01e ;
    p:P3827 wds:Q842755-AC06E9D5-160C-4884-A979-71B2F05CFC03 ;
    p:P527 wds:Q842755-b0584cc6-4a51-1e3e-d663-fb6f6f33cfec ;
    p:P6104 wds:Q842755-B797641F-6154-499C-B162-E1E04AB8098C ;
    p:P6366 wds:Q842755-90859486-0C02-4E33-9A07-6F886E187F73 ;
    p:P646 wds:Q842755-7F15EA9B-93B0-48B3-8888-B3AB5F9DED49 ;
    p:P6564 wds:Q842755-da5b0260-4c3d-1fef-7a10-d7acfdbf660a ;
    wdtn:P6366 <https://makg.org/entity/97489613> ;
    wdt:P10283 "C97489613" ;
    wdt:P10376 "mathematics/peano-axiom" ;
    wdt:P12385 "axiomes-de-peano" ;
    wdt:P1296 "0049603" ;
    wdt:P138 wd:Q191029,
        wd:Q76556 ;
    wdt:P1417 "topic/Peano-axioms" ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mrow data-mjx-texclass=\"ORD\"><mtable columnalign=\"right left right left right left right left right left right left\" columnspacing=\"0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em\" displaystyle=\"true\" rowspacing=\"3pt\"><mtr><mtd></mtd><mtd><mi mathvariant=\"normal\">&#x2203;</mi><mi>x</mi><mi mathvariant=\"normal\">&#x2203;</mi><mi>y</mi><mo stretchy=\"false\">&#x003A;</mo><msup><mi>y</mi><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">+</mo></mrow></msup><mo stretchy=\"false\">=</mo><mi>x</mi></mtd></mtr><mtr><mtd></mtd><mtd><mi mathvariant=\"normal\">&#x2200;</mi><mi>x</mi><mi mathvariant=\"normal\">&#x2200;</mi><mi>y</mi><mo stretchy=\"false\">&#x003A;</mo><msup><mi>x</mi><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">+</mo></mrow></msup><mo stretchy=\"false\">=</mo><msup><mi>y</mi><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">+</mo></mrow></msup><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi>x</mi><mo stretchy=\"false\">=</mo><mi>y</mi></mtd></mtr><mtr><mtd></mtd><mtd><mi>&#x03D5;</mi><mo stretchy=\"false\">(</mo><mn>0</mn><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x2227;</mo><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">&#x2200;</mi><mi>n</mi><mo stretchy=\"false\">&#x003A;</mo><mi>&#x03D5;</mi><mo stretchy=\"false\">(</mo><mi>n</mi><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi>&#x03D5;</mi><mo stretchy=\"false\">(</mo><msup><mi>n</mi><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">+</mo></mrow></msup><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi mathvariant=\"normal\">&#x2200;</mi><mi>n</mi><mo stretchy=\"false\">&#x003A;</mo><mi>&#x03D5;</mi><mo stretchy=\"false\">(</mo><mi>n</mi><mo stretchy=\"false\">)</mo></mtd></mtr></mtable></mrow></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2670 wd:Q17736 ;
    wdt:P2812 "PeanosAxioms" ;
    wdt:P31 wd:Q792542 ;
    wdt:P361 wd:Q49938 ;
    wdt:P3827 "peano-axioms" ;
    wdt:P527 wd:Q54500890 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "97489613" ;
    wdt:P646 "/m/067zn" ;
    wdt:P6564 "peano-axioms" .