論理や証明についての研究

対象と写像の関係を一般化する

数理論理学は大きく分けて

計算理論（再帰理論）

の四分野に分かれる。