>>370
その答えは終わっている
おサルが、述語論理の
存在例化が
存在を具体化（例化）すると言った

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

つづく