{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA form of [[mathematical induction|0ASJVEFA9J]] that only assumes the truth of the statement for the immediately preceding case to prove its truth for any natural number, as opposed to strong induction, which assumes the statement for all smaller numbers.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "2KEF52ZH4T"
    ],
    "kind": "concept",
    "name": "Weak mathematical induction",
    "sources": [
      {
        "locator": "Glossary of logic, section W",
        "mention": "wikipedia://en/76765067#XM5W",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "XJGZ4XWJCB"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/XJGZ4XWJCB/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/XJGZ4XWJCB.md",
  "msc": null,
  "name": "Weak mathematical induction",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/XJG/XJGZ4XWJCB.md",
  "status": null,
  "tag": "XJGZ4XWJCB",
  "uri": "m2://XJGZ4XWJCB",
  "url": "https://math2.tamnd.com/wiki/weak-mathematical-induction/",
  "writing": {
    "tag": "XJGZ4XWJCB",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}