"takehiro yanagi" <yanagi@ggm.to> wrote:
> TSURUTA wrote:
> >> 式「ｎ≧ｍ」は成り立つ。問題は「選択（一個の存在
> >>だけでは無意味）」ということなのだ。
> >その「選択」はどんな定義で、誰が決めたものですか？
> Shin-ichi TSURUTAよ、ウヌが口出ししてくるのを手ぐすね引いて待っておったゾ。

暇なのですね。

> 「選択」については、今の数学の「＊選択＊公理」で使われておることも知らぬか、

そうではなく、現在あなたが使用している「選択」の定義をここ
に書いてくださいということです。それを正確に書けますか？
多分出来ないと思いますが。