>>373
定義が大きく違う
自然数の加法はsuc(n)=n∪{n}に対して再帰的に
n+0=0
n,mに対しn+suc(m)=suc(n+m)
なる関数+のこと
多項式の加法は形式和で表現された多項式f,gに対してf+gを各係数の和を取った多項式とする関数+のこと
これを論拠無しに区別せず、多項式の加法や乗法に対する計算規則を自然数の加法や乗法に適用するのは無理