>>753
>公理が不足しているから証明不能と言ってる
解答用紙外のことをなぜ「公理が不足している」と断言できるのか意味不明だ

>証明実行可能ってなに？
逆に「証明できない」ってなに？

>説明されているかではなく、交換法則を一切使ってないんだが？
だから「説明」と言い換えた時点で「交換法則」のことには全く触れていないのだが？

> >>746のどの部分で交換法則前提にしていると思ったの
言い換えたのに何で交換法則の話をしていると思ったの？