Up 対象式  

  • 項（対象式）が，数学における「対象」です。

  • 項（対象式）は項生成規則で定義されます。

      例えば，＋，２，３を素材としてそれぞれ一回使うとき，
＋２３，＋３２，２＋３，３＋２，２３＋，３２＋

      の記号列が得られますが，項生成規則はこのうちの最初の４つを項（対象式）と定め，残りの二つを項（対象式）ではないと定めるものになっています。

  • 項生成規則の実際についてはここでは立ち入りませんが，およその感じを示しておきましょう。

      例えば，２＋３，(２＋３)＋２を項と定めるためには，規則につぎのものを含めることになります：
  1. 2 は数字である。
  2. 3 は数字である。
  3. 数字は項である。
  4. 数字ｘ, ｙに対し，ｘ＋ｙは項である。
  5. 項ｘ, ｙに対し，ｘ＋(ｙ) ，(ｘ)＋ｙは項である。