2011年05月28日のツイート

@kururu_goedel: @mikiya0417 実数集合の濃度はアレフ1とは限りません。実数の濃度がアレフ1であるという命題は連続体仮説と呼ばれ、ZFCと独立です。アレフ1とは、アレフ0より大きい最小の濃度のことで、アレフ2はそれよりもう一つ大きい濃度です。

2011-05-28 23:48:52 via Seesmic Web to @mikiya0417