どんな天才も、一つの集合論が数学であることを、覆せないという話を聞いた
ことがある。