メインメニューを開く

差分

全セクション埋まった...あとはマイナーチェンジだ......
==第3章 到達不能基数==
出典: [https://googology.wikia.org/ja/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0 巨大数研究Wiki「到達不能基数」]
 
順序数\( \alpha \)が到達不能基数であるとは、次の3つの条件を満たすことである。
\( \Omega_{\Omega_{\Omega_{\ddots}}} \)は到達不能基数ではない。なぜなら、共終数が\( \omega \)だからである。\( I \)はこれよりもはるかに大きい。
[ZFCとの独立性に関する言及を挿入]\( I \)はあまりにも大きいので、ZFCが無矛盾である場合、その存在を証明できない(存在するかどうかわからない)ことが知られている。
==脚注==
<references />
Wikiいけめん
217

回編集