>>460
>存在例化 （Existential instantiation）に限れば
>数学では、殆ど問題にする人が居ないのでは？ｗ ；ｐ）
述語論理の推論規則を問題にする人なんていないでしょ
実際、選択公理を利用する多くの証明では何の断りも無く選択関数に名前付けしている

>”存在例化 （Existential instantiation）”なんかで、ガーガー言われもよ
>『いまさら、なんだ？！』ってことですｗｗｗｗ
ガーガー言われたのは、証明の中で選択関数を固定できないとか言う馬鹿がいたからじゃないの？