数学的論理学

数学的論理学の類語・類義語・言い換え

一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系

形式論理　形式論理学　数学的論理学　記号論理学