カントールの集合論が非合理（不完全）であることはゲーデルによって
既に示されているのでは？