>>96-98
�A�Bのための議論も無意味だな。
いったい何を基礎にしているのかがはっきりしないまま、
やっているように見える。

例えば0÷5のところで、
>0=5a
>a≠0ではこの式が成り立たない

これを示す必要がある。
本来ならば当たり前のことをわざわざ証明するというなら、
こういうことも考えないと意味がない。