>>654
そんなのダメだ。
「歩く」ことを定義する時に「移動できる」ことが前提になってる。
俺の定義は違う。
素粒子がとなりあう場合にのみ移動できる。
この移動を歩くと定義する。
だ。
おまえのは
移動できる、だから歩ける、と言っているに過ぎない。
そんなものはＡはＡであると言っているに等しい。

ちなみに、線分上を移動できないことの証明は簡単だ。
∀ｘ∈Ｒにおいて、となりあう実数ｙは存在しない
よって移動できない。