Embed Notice

@Nyoho それ、昔々に大学院生に聞かれたことがあります。どこでAC使うてるねん、って。答えは、最初の設定の段階ですでに使い終わっている、です。\(f_\alpha\) には一般に無数の選択肢があるはずで、ヒントではそれがすでにfixされています。\(X_\alpha\) から \(\kappa\) への単射を、すべての \(\alpha\) についていっせいに選ぶところで選択公理がどうしても必要なので、それ以降の、如法さんが考察している部分は、選択公理を用いないでできます。