| rdfs:label |
"principle of mathematical induction"@en
|
|
skos:alt |
"induction axiom"@en
"mathematical induction axiom"@en
"principle of induction"@en
"principle of weak induction"@en
"weak induction"@en
"weak induction axiom"@en
|
| schema:description |
"mathematical axiom"@en
|
|
schema:date |
"2025-02-04T06:44:11+00:00"^^xsd:dateTime |
| schema:version | 2306654145 |
| wikibase:identifiers | 3 |
| wikibase:sitelinks | 2 |
| wikibase:statements | 8 |
| p:P1542 | wd:statement/Q54500890-1e3330c9-44b9-bfd2-5839-e00d0fbabb3d |
| p:P2534 | wd:statement/Q54500890-6e90ed5e-4418-7c04-7330-6293bab41ae1 |
| p:P2812 | wd:statement/Q54500890-c5b0166c-49d9-ea86-4076-33d6f3d86cc9 |
| p:P31 | wd:statement/Q54500890-6a60c196-445d-1f4f-ca47-60467435f9ce |
| p:P361 | wd:statement/Q54500890-19741073-4e86-287b-b107-34fe45b40360 |
| p:P6104 | wd:statement/Q54500890-979F8164-B36A-4771-B20D-ADE529F8B8DB |
| p:P6781 | wd:statement/Q54500890-81591713-40d8-805b-588a-c7ddf9d9c2a7 |
| p:P7554 | wd:statement/Q54500890-8eaffda6-4e21-31c1-bc9c-a336fcddce9f |
| wdt:P1542 | mathematical induction |
| 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"><mi>P</mi><mo stretchy="false">(</mo><mn>0</mn><mo stretchy="false">)</mo><mo stretchy="false">∧</mo><mi mathvariant="normal">∀</mi><mi>x</mi><mo stretchy="false">(</mo><mi>P</mi><mo stretchy="false">(</mo><mi>x</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>P</mi><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">+</mo><mn>1</mn><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>x</mi><mi>P</mi><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML |
| wdt:P2812 | "PrincipleofMathematicalInduction" |
| wdt:P31 | axiom |
| wdt:P361 | Peano axioms |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P6781 | "Principle_of_Mathematical_Induction" |
| wdt:P7554 | "Induction_axiom" |
Download as: