数学的論理学

すうがく てきろんりがく 9 【数学的論理学 】記号論理学のこと 。数学的推論 （証明 ）の構造を形式化したものであることからの名 。数理論理学 。 →記号論理学