質問: 僕が導いたABC代数(仮称)の着想はどう説明すればいいのですか?
回答: 2項演算を集合上に定義します。 単位元1が存在することを示します。 そこから導かれる性質から 1=1+1=1+1+1=・・・+1+・・・ を証明します。