"takehiro yanagi" <yanagi@ggm.to> wrote:
> 式「n≧m」は成り立つ。問題は「選択(一個の存在だけでは無意味)」ということ
> なのだ。

その「選択」はどんな定義で、誰が決めたものですか?