加　法  

    数の和 (記号「＋」の用い方) が，つぎのように定義されました：

    この和に対し，加法がつぎのように定義されます：

      数の対（ｍ，ｎ）に ｍ + ｎ を対応させる関数を,「加法」と呼ぶ。



入出力マシンのイメージ