カテゴリ:数理論理学

数理論理学(すうりろんりがく、Mathematical Logic)とは形式化された論理・計算およびそれらと数学的構造との関係を調べる数学の分野である。 詳しい概要については数理論理学を参照せよ。