"mathematical logic" meaning in English

{
  "forms": [
    {
      "form": "mathematical logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "s"
      },
      "expansion": "mathematical logic (usually uncountable, plural mathematical logics)",
      "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": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems."
      ],
      "id": "en-mathematical_logic-en-noun-3qwRz4xE",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "mathematics",
          "mathematics"
        ],
        [
          "expressive",
          "expressive"
        ],
        [
          "power",
          "power"
        ],
        [
          "formal logic",
          "formal logic"
        ],
        [
          "deductive",
          "deductive"
        ]
      ],
      "raw_glosses": [
        "(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems."
      ],
      "synonyms": [
        {
          "word": "symbolic logic"
        }
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "mathematical logic"
      ]
    }
  ],
  "word": "mathematical logic"
}

{
  "forms": [
    {
      "form": "mathematical logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "2": "s"
      },
      "expansion": "mathematical logic (usually uncountable, plural mathematical logics)",
      "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",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Logic"
      ],
      "glosses": [
        "A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "mathematics",
          "mathematics"
        ],
        [
          "expressive",
          "expressive"
        ],
        [
          "power",
          "power"
        ],
        [
          "formal logic",
          "formal logic"
        ],
        [
          "deductive",
          "deductive"
        ]
      ],
      "raw_glosses": [
        "(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems."
      ],
      "tags": [
        "uncountable",
        "usually"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "mathematical logic"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "symbolic logic"
    }
  ],
  "word": "mathematical logic"
}