「非有基的集合論」を作成中