数学基礎論
論理や証明についての研究
集合論
圏論
対象と写像の関係を一般化する
https://math.jp/wiki/数理論理学
数理論理学は大きく分けて
公理的集合論
モデル理論
計算理論（再帰理論）
証明論
の四分野に分かれる。