>>241
>それって、単に名前付けているだけじゃない？
存在している選択関数のいずれか一つを固定し命名するのが存在例化ですけど？
それによってその選択関数をその後の論証で使えるようになりますけど？

>それに、下記wikipedia選択公理でも、選択関数fとあるよ
選択公理は選択関数の存在を保証する。選択関数fを使えるのは存在例化による。

>その証明で使う上界とか、集合とか全部アルファベットの名前付けている
>それと何が違う？
存在例化を理解していないことに基づく愚問

ていうかここまでいろいろ提示してやってんだから自分で勉強しなよ　なんでいちいち人に聞くの？　幼稚園児か？君は

で、君の持論「ZFC集合論で存在例化を使うにはZFC公理系から証明が必要。未証明なら使えない。」は間違いと認めるの？