>>54
>繰返すが、選択公理は Choice function の存在のみを規定するものであり
>”一意性”の主張など、ｗ大数学科のオチコボレの ハルシです！！！ｗｗ
はい、大きな勘違いです。
証明内での一意性と証明外での一意性を完全に混同しています。
証明内では選択関数が存在するなら存在例化推論規則によって一意化可能です。この選択関数は証明外に持ち出すことはできません。
述語論理の初歩です。勉強しましょう。