"axiom schema" meaning in English

{
  "forms": [
    {
      "form": "axiom schemas",
      "tags": [
        "plural"
      ]
    },
    {
      "form": "axiom schemata",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "s",
        "2": "axiom schemata"
      },
      "expansion": "axiom schema (plural axiom schemas or axiom schemata)",
      "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_schema-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 scheme"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "code": "fi",
          "lang": "Finnish",
          "sense": "Translations",
          "word": "aksioomaskeema"
        }
      ]
    }
  ],
  "word": "axiom schema"
}

{
  "forms": [
    {
      "form": "axiom schemas",
      "tags": [
        "plural"
      ]
    },
    {
      "form": "axiom schemata",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "s",
        "2": "axiom schemata"
      },
      "expansion": "axiom schema (plural axiom schemas or axiom schemata)",
      "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",
        "Translation table header lacks gloss",
        "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 scheme"
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "Translations",
      "word": "aksioomaskeema"
    }
  ],
  "word": "axiom schema"
}