2009-08-17から1日間の記事一覧

基数の定義

倉田令二朗・篠田寿一の「公理論的集合論」の基数のところを読んでいて、 ちょっと引っかかった所がありました。 「公理論的集合論」では、こんな定義になっていました。 集合XとYの間に全単射が存在するとき、XとYは対等(X〜Y)と言う。 整列可能定…