| rdfs:label |
"Peano axioms"@en
|
|
skos:alt |
"Dedekind–Peano axioms"@en
"Peano postulates"@en
|
| schema:description |
"axiomatic system for the natural numbers"@en
|
|
schema:date |
"2026-05-16T10:55:12+00:00"^^xsd:dateTime |
| schema:version | 2492523770 |
| wikibase:identifiers | 10 |
| wikibase:sitelinks | 38 |
| wikibase:statements | 18 |
| p:P10283 | wd:statement/Q842755-26DB2CDD-3A13-4808-86A4-4BC0335C467C |
| p:P10376 | wd:statement/Q842755-6d70386a-43ef-c845-de72-ddd765b6bed6 |
| p:P12385 | wd:statement/Q842755-ac15c05b-4e27-4b8e-b456-47afce28235a |
| p:P1296 | wd:statement/Q842755-E345F879-C426-46EA-B699-FE6B09CF77C1 |
| p:P138 | wd:statement/Q842755-3e59848d-4978-0311-461d-e632185e0c90 |
| wd:statement/Q842755-9359fda7-49c3-2b74-7601-1713609dca33 | |
| p:P1417 | wd:statement/Q842755-CD3CAD90-937C-466F-97C3-6807A7080022 |
| p:P2534 | wd:statement/Q842755-7f8c7554-4cb2-b127-1dbc-58e7014033c2 |
| p:P2670 | wd:statement/Q842755-d6b6a517-432b-0901-2f15-1a6ec136d00c |
| p:P2812 | wd:statement/Q842755-AA64C28B-0450-44B0-9D14-06E95198676D |
| p:P31 | wd:statement/Q842755-192ac744-4d05-3465-04f9-2dee71d5b23b |
| p:P361 | wd:statement/Q842755-10d3373c-4c31-8dab-e2ab-fee70be8f01e |
| p:P3827 | wd:statement/Q842755-AC06E9D5-160C-4884-A979-71B2F05CFC03 |
| p:P527 | wd:statement/Q842755-b0584cc6-4a51-1e3e-d663-fb6f6f33cfec |
| p:P6104 | wd:statement/Q842755-B797641F-6154-499C-B162-E1E04AB8098C |
| p:P6366 | wd:statement/Q842755-90859486-0C02-4E33-9A07-6F886E187F73 |
| p:P646 | wd:statement/Q842755-7F15EA9B-93B0-48B3-8888-B3AB5F9DED49 |
| p:P6564 | wd:statement/Q842755-da5b0260-4c3d-1fef-7a10-d7acfdbf660a |
|
p:direct- |
<https:/ |
| wdt:P10283 | "C97489613" |
| wdt:P10376 | "mathematics/peano-axiom" |
| wdt:P12385 | "axiomes-de-peano" |
| wdt:P1296 | "0049603" |
| wdt:P138 | Giuseppe Peano |
| Richard Dedekind | |
| 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">∃</mi><mi>x</mi><mi mathvariant="normal">∃</mi><mi>y</mi><mo stretchy="false">:</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">∀</mi><mi>x</mi><mi mathvariant="normal">∀</mi><mi>y</mi><mo stretchy="false">:</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>⟹</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>ϕ</mi><mo stretchy="false">(</mo><mn>0</mn><mo stretchy="false">)</mo><mo stretchy="false">∧</mo><mo stretchy="false">(</mo><mi mathvariant="normal">∀</mi><mi>n</mi><mo stretchy="false">:</mo><mi>ϕ</mi><mo stretchy="false">(</mo><mi>n</mi><mo stretchy="false">)</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mo>⟹</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mi>ϕ</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>⟹</mo><mstyle scriptlevel="0"><mspace width="0.278em"></mspace></mstyle><mi mathvariant="normal">∀</mi><mi>n</mi><mo stretchy="false">:</mo><mi>ϕ</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 | axiom |
| wdt:P2812 | "PeanosAxioms" |
| wdt:P31 | axiomatic system |
| wdt:P361 | Peano arithmetic |
| wdt:P3827 | "peano-axioms" |
| wdt:P527 | principle of mathematical induction |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6366 | "97489613" |
| wdt:P646 | "/m/067zn" |
| wdt:P6564 | "peano-axioms" |
Download as: