「到達不能基数」の版間の差分
削除された内容 追加された内容
m ボット: 言語間リンク 10 件をウィキデータ上の d:Q1331373 に転記 |
|||
22行目:
''V''がZFCの標準モデルで κ が''V''の到達不能基数であるとき、
''V''<sub>κ</sub> は[[ツェルメロ・フレンケルの公理系|ZF集合論]]のintended modelになり、
Def(''V''<sub>κ</sub> )は[[NBG集合論]]のintended modelになり、
''V''<sub>κ</sub> +1は[[MK集合論]]のintended modelになる。
| |||