数理論理学
https://ja.wikipedia.org/wiki/数理論理学
mathematical logic
現代論理学、記号論理学、
数学基礎論
、超数学
大まかに次の4つの領域に分類している：
集合論
モデル理論
再帰理論
証明論と構成的数学 （これらはひとつの領域の2つの部分と見做される）