前回は,選択公理(AC)と一般連続体仮説(GCH)をZFに付け加えても(ZFが無矛盾なら)矛盾しないことを示すゲーデルの証明を追うための準備と称して,とというふたつの宇宙を紹介しました.が冪集合をとるという操作をベースに,反復的な操作によって階層を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。