>(N,2^N)は可測空間
一方「(R,2^R)は可測空間」はZFCでは偽命題、ZFでは独立命題。それがボレル集合族を考える理由。