>それなのに、代数系の構築方法に関しては、
>必ずしも樹形図の指定を厳密に言わなくてもよいと言っている。

言ってないですよ。
＞「代数学では紛れもなく定理」 というべきなのに。
この部分のことですか？
これは私の言葉が足らなかっただけです。
ミスです。
だから
＞「代数学の樹形図Ｃでは紛れもなく定理」
＞のように厳密に言えばいいということですよ。
と言い直したじゃないですか。