>2019-09-05■1+1が2にも3にも4にもなるってよく言うけど1+1が2にも3にも4にもなるって脳筋の陽キャがよく言うけど、ここで謎の演算子「+」を持つモノイドを考えてみたい。α1,α2,α3,...の簡易記法とする。モノイドの単位元はα0とする。SUCC(α_n)と表すことができることとする。SUCC(SUCC(α1))...である。SUCC(SUCC(SUCC(α1)))...となる。x等とすることができる。