空-Q-所為

在の実践

2022-01-27から1日間の記事一覧

ZF 集合論上での基数についての基本的性質 (2)

記事の趣旨 本記事は前回の記事の続編である。連続体濃度 と最小の非可算基数 との関係について論ずる。 注意 この記事においては、基本的に ZF 公理系を採用する。またこの記事は Loren J. Halbeisen "Combinatorial Set Theory - With a Gentle Introducti…

ZF 集合論上での基数についての基本的性質 (1)

記事の趣旨 ZFC 集合論と ZF 集合論のあいだのもっとも大きな相違点は、まさしく選択公理の存在にある。選択公理は ZF 集合論の視点に立てば、非常に強力な主張として観察される。実際的に我々がしばしば数学を行うにあたって、ZF 集合論上選択公理と同値な…