|
rdfs:label
|
"Aritmètica de Peano"@ca
"Peano arithmetic"@en
"Peano-Arithmeetik"@lb
"Peano-Arithmetik"@de
"Peano-aritmetika"@hu
"Peano-rekenkunde"@nl
"Peanoaritmetik"@sv
"Peanoaritmetikk"@nb
"Peanoaritmetikk"@nn
"Peanova aritmetika"@cs
"Peanova aritmetika"@sk
"arithmétique de Peano"@fr
"aritmetica di Peano"@it
"aritmetika Peano"@id
"aritmetiko de Peano"@eo
"aritmética de Peano"@es
"aritmética de Peano"@pt
"số học Peano"@vi
"Формаллĕ арифметика"@cv
"арифметика Пеано"@ru
"арифметика Пеано"@uk
"арыфметыка Пеана"@be
"حسابيات بيانو"@ar
"ペアノ算術"@ja
"皮亚诺算术"@zh
"皮亚诺算术"@zh-cn
"皮亚诺算术"@zh-hans
"皮亞諾算術"@zh-hant
"페아노 산술"@ko
|
|
skos:altLabel
|
"PA"@de
"PA"@en
"PA"@lb
"Peanos aritmetik"@sv
"Schéma indukce"@cs
"формальна арифметика"@uk
"формальная арифметика"@ru
|
|
schema:description
|
"Theorie der Arithmetik"@de
"axiomatic theory of the arithmetic of nonnegative integers"@en
"formala teorio pri la aritmetiko de nenegativaj entjeroj"@eo
"teoria matematica del primo ordine"@it
"théorie axiomatique"@fr
|
|
schema:dateModified
|
"2026-10-01T20:33:48+00:00"^^xsd:dateTime
|
|
schema:version
|
2551908642
|
|
wikibase:identifiers
|
7
|
|
wikibase:sitelinks
|
20
|
|
wikibase:statements
|
14
|
|
p:P10565
|
wd:statement/Q49938-C1CC2907-E7C6-48DF-9CED-74DCE84A3F40
|
|
p:P14541
|
wd:statement/Q49938-13767BBA-50E2-4F83-B0BE-16C8D45856EB
|
|
p:P1482
|
wd:statement/Q49938-a36e9d23-401e-2118-25d0-fe8dd893f23d
|
|
p:P1813
|
wd:statement/Q49938-df34e2e7-47f1-a921-9cb4-d54969c12c50
|
|
p:P2283
|
wd:statement/Q49938-510987ca-4b85-4211-76e1-ea9fe2ea3306
|
|
p:P2671
|
wd:statement/Q49938-567C5F00-CBCE-422C-ABFF-A8F766BA04A5
|
|
wd:statement/Q49938-F3EB516A-CD89-4CF3-8F47-7AFAE2F4F0FA
|
|
p:P279
|
wd:statement/Q49938-ad178ea2-49d4-8765-13ff-6ef6b7a68edc
|
|
p:P2812
|
wd:statement/Q49938-4345c6d3-4fb1-e9ba-4704-3beea7a2a787
|
|
p:P31
|
wd:statement/Q49938-fc125ac2-4963-aaca-ce22-5c7f63e50937
|
|
p:P4215
|
wd:statement/Q49938-af52e186-4ed2-4340-91bb-1535b163402d
|
|
p:P6104
|
wd:statement/Q49938-FF4EB7C7-D1FC-4EA4-A9E9-272527A2B38D
|
|
p:P6477
|
wd:statement/Q49938-8b735bfb-4678-d086-3c27-b7fe61e19b5a
|
|
p:P691
|
wd:statement/Q49938-afbb94ad-469e-1968-b200-2ce163cc8366
|
|
p:direct-normalized/P2671
|
<http://g.co/kg/g/121v2d7_>
|
|
<http://g.co/kg/g/122n5dnb>
|
|
wdt:P10565
|
"218527"
|
|
wdt:P14541
|
"1ckptF"
|
|
wdt:P1482
|
<https://proofassistants.stackexchange.com/tags/peano-arithmetic>
|
|
wdt:P1813
|
"PA"@en
|
|
wdt:P2283
|
Peano axioms
|
|
wdt:P2671
|
"/g/121v2d7_"
|
|
"/g/122n5dnb"
|
|
wdt:P279
|
arithmetic
|
|
wdt:P2812
|
"PeanoArithmetic"
|
|
wdt:P31
|
theory
|
|
wdt:P4215
|
"Peano arithmetic"
|
|
wdt:P6104
|
WikiProject Mathematics
|
|
wdt:P6477
|
decidability
|
|
wdt:P691
|
"ph468053"
|