>>31
>そりゃ測度は(存在保証の)公理ではなくただの定義だし

あまりに虫のいい定義については、
それを満たす例が存在しないってことも
あるじゃないですか

>具体例は標準的な集合論で構成可能だし

しかし、任意の集合に対する測度までは定義できない、ってことですよね

それは
選択公理に問題があるのか？
測度の定義に問題があるのか？
ってことですよ