2007-03-20から1日間の記事一覧

集合論の公理系(その 16・最終回)

選択公理 正則性公理の位置づけにはいろいろと議論もありましたが、ひとまずその辺は置いといて、いよいよ最後の公理を紹介します。 選択公理 これは、どれも空でなく、また互いに共通部分も持たない集合の族 z が与えられたならば、その要素たる各集合から…