{
    "componentChunkName": "component---src-templates-note-note-js",
    "path": "/notes/Mathematical-Logic",
    "result": {"data":{"mdx":{"body":"var _excluded = [\"components\"];\nfunction _extends() { _extends = Object.assign ? Object.assign.bind() : function (target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i]; for (var key in source) { if (Object.prototype.hasOwnProperty.call(source, key)) { target[key] = source[key]; } } } return target; }; return _extends.apply(this, arguments); }\nfunction _objectWithoutProperties(source, excluded) { if (source == null) return {}; var target = _objectWithoutPropertiesLoose(source, excluded); var key, i; if (Object.getOwnPropertySymbols) { var sourceSymbolKeys = Object.getOwnPropertySymbols(source); for (i = 0; i < sourceSymbolKeys.length; i++) { key = sourceSymbolKeys[i]; if (excluded.indexOf(key) >= 0) continue; if (!Object.prototype.propertyIsEnumerable.call(source, key)) continue; target[key] = source[key]; } } return target; }\nfunction _objectWithoutPropertiesLoose(source, excluded) { if (source == null) return {}; var target = {}; var sourceKeys = Object.keys(source); var key, i; for (i = 0; i < sourceKeys.length; i++) { key = sourceKeys[i]; if (excluded.indexOf(key) >= 0) continue; target[key] = source[key]; } return target; }\n/* @jsxRuntime classic */\n/* @jsx mdx */\n\nvar _frontmatter = {};\nvar layoutProps = {\n  _frontmatter: _frontmatter\n};\nvar MDXLayout = \"wrapper\";\nreturn function MDXContent(_ref) {\n  var components = _ref.components,\n    props = _objectWithoutProperties(_ref, _excluded);\n  return mdx(MDXLayout, _extends({}, layoutProps, props, {\n    components: components,\n    mdxType: \"MDXLayout\"\n  }), mdx(\"blockquote\", null, mdx(\"p\", {\n    parentName: \"blockquote\"\n  }, mdx(\"strong\", {\n    parentName: \"p\"\n  }, \"Mathematical logic\"), \" is the study of formal \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://en.wikipedia.org/wiki/Logic\",\n    \"title\": \"Logic\"\n  }, \"logic\"), \" within \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://en.wikipedia.org/wiki/Mathematics\",\n    \"title\": \"Mathematics\"\n  }, \"mathematics\"), \". Major subareas include \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://en.wikipedia.org/wiki/Model_theory\",\n    \"title\": \"Model theory\"\n  }, \"model theory\"), \", \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://en.wikipedia.org/wiki/Proof_theory\",\n    \"title\": \"Proof theory\"\n  }, \"proof theory\"), \", \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://en.wikipedia.org/wiki/Set_theory\",\n    \"title\": \"Set theory\"\n  }, \"set theory\"), \", and \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"https://en.wikipedia.org/wiki/Recursion_theory\",\n    \"title\": \"Recursion theory\"\n  }, \"recursion theory\"), \".\")), mdx(\"p\", null, \"\", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"/notes/Dig-Deeper\",\n    \"title\": \"Dig Deeper\"\n  }, \"Dig Deeper\"), \" on \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"/notes/model-theory\",\n    \"title\": \"model theory\"\n  }, \"model theory\"), \", \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"/notes/proof-theory\",\n    \"title\": \"proof theory\"\n  }, \"proof theory\"), \", \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"/notes/set-theory\",\n    \"title\": \"set theory\"\n  }, \"set theory\"), \" and \", mdx(\"a\", {\n    parentName: \"p\",\n    \"href\": \"/notes/recursion-theory\",\n    \"title\": \"recursion theory\"\n  }, \"recursion theory\"), \"\"));\n}\n;\nMDXContent.isMDXComponent = true;","inboundReferences":[{"id":"c524e9f6-235c-5d87-875c-223cb0119e40","slug":"Recursive-functions."}]}},"pageContext":{"slug":"Mathematical-Logic","node":{"childMdx":{"slug":"Mathematical-Logic"}}}},
    "staticQueryHashes": []}