Up 数学に入るとは，＜論理で自分を縛る＞を立場にすること 作成: 2011-06-30
更新: 2011-06-30

    「論証」を指導するのは，難しい。
    即ち，論証をするとは論理で縛られる者に自らなることであるが，この「論理で縛られる」を理解させることが難しい。

    命題を証明するとは，つぎを示すことである：
      「この命題定立に先立つ定義・定理全体の含意の中に，この命題がある。」
    翻って，つぎが，証明をやろうとする者の要件になる：
      1. 命題定立に先立つ定義・定理全体を知っている
      2. これらの含意を導くのに使う推論規則を知っている

    証明された命題が，定理である。
    そして，数学の中では，かけ算の順序は定理である。
    ここでは，「ああでもない・こうでもない」の議論は起こる余地がない。