"axiom schema" meaning in All languages combined

{
  "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": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Finnish translations",
          "parents": [],
          "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",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Finnish translations",
        "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"
}