Up 理論展開──対象・形の追加，定理の生成 作成: 2011-09-15
更新: 2011-09-15

    数学の行為は，一つに，理論展開である。 現前の理論の展開を行う。

    これは，つぎの２つで行う：
    1. 定義による，対象・形の追加
    2. 定理の生成

    ここで「対象」と「形 (型・構造)」の違いは，つぎのようになる：
      「２次元実数空間 2」の導入は，対象の追加
      「線型空間」の定義は，形の追加