Up 推理 (論理計算) 作成: 2008-04-15
更新: 2008-04-15

    適正解を求めるために，推理 (論理計算) を行う。
    解が妥当であることを確証するために，推理 (論理計算) を行う。
    これができるためには，推理 (論理計算) の概念・方法がわかっていなければならない。

    数学は，「推理 (論理計算)」を明示的に主題化する。
    そして，この概念・方法が習得されるよう訓練する。