In graduate seminars, many proofs are presented within ZF to avoid reliance on the axiom of choice.
大学院のゼミでは、多くの証明が選択公理を含まないツェルメロ＝フレンケル集合論のもとで示され、その公理に依存しないようにしている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
