Set theory
"V"κ はZF集合論のintended modelになり、