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