分かりやすく言うと
論理学 科学哲学 数理論理学 認識論の境界領域な