そして、"v"κ+1はモース-ケリー集合論のモデルである。