集合論
"V"κ +1はMK集合論のintended modelになる。