連続体仮説が論証不可能な命題の一つ。
いや、違ったらすまない。