>例えばZFに「R^1の部分集合は全部ルベーグ可測である」って公理を追加しただけで
>「R^2の部分集合は全部ルベーグ可測である」を証明する方法も見つかっていない
てきとーに言っただけなんだよなコレ
本当は見つかってたりしてな