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


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

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

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