Up 7.3.1 順序関係の導入  

　自然数論T＝( G, G, U, U) を以下のように拡張することで，自然数の順序関係≦を導入する。

  1. Gに対し，

    1. TＶに，記号 ＜，≦ を追加する。

    2. Ｐに，
        SEN → (NUM)＜(NUM)
        SEN → (NUM)≦(NUM)

      を追加する。

  2. U＝( S, D)， S＝( G,σ,Ｒ) の Gに対し，

    1. TＶに，記号 ＜，≦ を追加する。

    2. Ｐに，
        SEN → (NUM)＜(NUM)
        SEN → (NUM)≦(NUM)

      を追加する。

  3. Dに，

      (∃(nvr))(num＋nvr＝num1) ⇄ num＜num1
      num≦num1 ⇄ ¬(num＜num1)⊃(num＝num1)
      ( ⇄ (num＜num1)∨(num＝num1) )

    を追加する。

  4. Uの変更に対応して， Uを変更する。