集合論
Def("V"κ )はNBG集合論のintended modelになり、