>>29
説明しようとしていることは
「0 による商が普通の割り算の性質を満たすように定義できると仮定すると矛盾が生じる」
なので 0/0=1 を使った説明で問題ないと思う。