21/08/22 05:51:28.18 QZFJZsWw.net
>シュタインハウス[註 58] とミチェルスキは 1962 年の論文で，
>現在では決定性の公理 (Axiom of Diterminacy (AD)) と呼ばれている公理
>(と選択公理以外の集合論の公理) から，すべての図形に体積が定義できる
>ことを証明しています．
つまり、決定性の公理ADと選択公理ACは矛盾するってことだよ
これ豆な
21/08/22 05:51:28.18 QZFJZsWw.net
>シュタインハウス[註 58] とミチェルスキは 1962 年の論文で，
>現在では決定性の公理 (Axiom of Diterminacy (AD)) と呼ばれている公理
>(と選択公理以外の集合論の公理) から，すべての図形に体積が定義できる
>ことを証明しています．
つまり、決定性の公理ADと選択公理ACは矛盾するってことだよ
これ豆な