>>251-252
存在例化が、単に証明の中で選択公理に名前を付けて固定するだけで、
証明が終わったら固定は解除されて
元の存在のみに戻るなら
みんなが、普通にやってる名前を付けることでしょ
それなら、集合の本質を変えないから問題ない