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