黒木って本当に数学者か？
「a=bcが成立しているときaはbの倍数であるといい、b|aと書きます。」
と言っているが、一意性を無視しているな。
「a=bcを満たすcが一意的に存在するとき、aはbの倍数であるといい、b|aと書きます。」
だろう。
黒木は「0=0cなので0が0で割り切れることは論理的に自明」とも言っているが、
こいつはおかしなローカルルールをツイッターで広めたいのか？