>選択公理で存在が言えれば、存在例化で固定できると言ったけれど
>その実、ある議論の中だけ。
　議論の外なんかないけど
　プレイの外がないの同じね　うふ
>議論が終われば、元の存在のみの選択公理よる存在主張に戻るんだ
　存在を公理で前提すれば、定理の証明で存在例化が使える
　しかも存在する元に一つしか名前を付けなければ、議論の中ではその一つしかない
　それだけのことよ　
　一つしかない名前を二つ以上の対象が同時に兼用できると思うのは
　ＡＶだけ見て自分は百戦錬磨の女たらしだと思い込む童貞だけ