"定理" meaning in Japanese

{
  "forms": [
    {
      "form": "定理",
      "ruby": [
        [
          "定",
          "てい"
        ],
        [
          "理",
          "り"
        ]
      ],
      "tags": [
        "canonical"
      ]
    },
    {
      "form": "teiri",
      "tags": [
        "romanization"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "ていり"
      },
      "expansion": "定(てい)理(り) • (teiri)",
      "name": "ja-noun"
    }
  ],
  "lang": "Japanese",
  "lang_code": "ja",
  "pos": "noun",
  "related": [
    {
      "_dis1": "0 0",
      "roman": "hodai",
      "ruby": [
        [
          "補題",
          "ほだい"
        ]
      ],
      "word": "補題"
    }
  ],
  "senses": [
    {
      "glosses": [
        "theorem"
      ],
      "id": "en-定理-ja-noun-zHqKEwMu",
      "links": [
        [
          "theorem",
          "theorem"
        ]
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "ja",
          "name": "Sciences",
          "orig": "ja:Sciences",
          "parents": [
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "23 33 8 36",
          "kind": "other",
          "name": "Pages with raw sortkeys",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "9 91",
          "kind": "other",
          "name": "Japanese entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "4 96",
          "kind": "other",
          "name": "Japanese entries with topic categories using raw markup",
          "parents": [
            "Entries with topic categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "4 96",
          "kind": "other",
          "name": "Japanese links with redundant wikilinks",
          "parents": [
            "Links with redundant wikilinks",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "5 95",
          "kind": "other",
          "name": "Japanese terms with redundant sortkeys",
          "parents": [
            "Terms with redundant sortkeys",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "9 91",
          "kind": "topical",
          "langcode": "ja",
          "name": "Mathematics",
          "orig": "ja:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "4 96",
          "kind": "topical",
          "langcode": "ja",
          "name": "Sciences",
          "orig": "ja:Sciences",
          "parents": [
            "All topics",
            "Fundamental"
          ],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "principle; rule"
      ],
      "id": "en-定理-ja-noun-EGi3-LFy",
      "links": [
        [
          "sciences",
          "sciences"
        ],
        [
          "principle",
          "principle"
        ],
        [
          "rule",
          "rule"
        ]
      ],
      "raw_glosses": [
        "(sciences) principle; rule"
      ],
      "topics": [
        "sciences"
      ]
    }
  ],
  "word": "定理"
}

{
  "categories": [
    "Japanese entries with incorrect language header",
    "Japanese entries with topic categories using raw markup",
    "Japanese lemmas",
    "Japanese links with redundant wikilinks",
    "Japanese nouns",
    "Japanese terms spelled with second grade kanji",
    "Japanese terms spelled with third grade kanji",
    "Japanese terms with redundant sortkeys",
    "Japanese terms written with two Han script characters",
    "Pages with raw sortkeys",
    "ja:Mathematics",
    "ja:Sciences"
  ],
  "forms": [
    {
      "form": "定理",
      "ruby": [
        [
          "定",
          "てい"
        ],
        [
          "理",
          "り"
        ]
      ],
      "tags": [
        "canonical"
      ]
    },
    {
      "form": "teiri",
      "tags": [
        "romanization"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "ていり"
      },
      "expansion": "定(てい)理(り) • (teiri)",
      "name": "ja-noun"
    }
  ],
  "lang": "Japanese",
  "lang_code": "ja",
  "pos": "noun",
  "related": [
    {
      "roman": "hodai",
      "ruby": [
        [
          "補題",
          "ほだい"
        ]
      ],
      "word": "補題"
    }
  ],
  "senses": [
    {
      "glosses": [
        "theorem"
      ],
      "links": [
        [
          "theorem",
          "theorem"
        ]
      ]
    },
    {
      "categories": [
        "ja:Sciences"
      ],
      "glosses": [
        "principle; rule"
      ],
      "links": [
        [
          "sciences",
          "sciences"
        ],
        [
          "principle",
          "principle"
        ],
        [
          "rule",
          "rule"
        ]
      ],
      "raw_glosses": [
        "(sciences) principle; rule"
      ],
      "topics": [
        "sciences"
      ]
    }
  ],
  "word": "定理"
}

{
  "called_from": "parser/1336",
  "msg": "no corresponding start tag found for </span>",
  "path": [
    "定理"
  ],
  "section": "Japanese",
  "subsection": "noun",
  "title": "定理",
  "trace": ""
}