カテゴリー: 数学

数学の証明の記述法について

数学の証明の記述法について、その難しさの理由と解決方法を考察する。そして、数学の証明の記述方法のあるべき姿と、作業フローを提示する。