"axiom scheme" meaning in English

{
  "forms": [
    {
      "form": "axiom schemes",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "axiom scheme (plural axiom schemes)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions."
      ],
      "id": "en-axiom_scheme-en-noun-fpytAY0k",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "formula",
          "formula"
        ],
        [
          "axiomatic system",
          "axiomatic system"
        ],
        [
          "schematic variable",
          "schematic variable"
        ],
        [
          "term",
          "term"
        ],
        [
          "subformula",
          "subformula"
        ]
      ],
      "raw_glosses": [
        "(logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions."
      ],
      "synonyms": [
        {
          "word": "axiom schema"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "axiom scheme"
}

{
  "forms": [
    {
      "form": "axiom schemes",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "axiom scheme (plural axiom schemes)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "en:Logic"
      ],
      "glosses": [
        "A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "formula",
          "formula"
        ],
        [
          "axiomatic system",
          "axiomatic system"
        ],
        [
          "schematic variable",
          "schematic variable"
        ],
        [
          "term",
          "term"
        ],
        [
          "subformula",
          "subformula"
        ]
      ],
      "raw_glosses": [
        "(logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "axiom schema"
    }
  ],
  "word": "axiom scheme"
}