でぃぐ

フォローする

反復Mathias強制により基数hが大きくなること

この記事を高評価した人

詳しくみる

投稿者

@fujidig

でぃぐ

関連記事

ZFCのモデルの存在について

外延性公理は等号の定義じゃないよ！

なんで証明中の選択公理が目立つのかって話

コメント

コメントはありません。