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