>>310
補足
ZFC公理を持ち出すなら、ZFC公理からる測度論を構成する必要がある