数理論理学

数理論理学（）は数学の分野であって、形式論理の数学への応用の探求ないしは形式論理の数学的な解析を主たる目的とする。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。