集合論について

[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

195(1): 2014/04/06(日) 20:34:16.61 AAS
>>193
「実数の全体」という限定は必要ないのでは？

なお、可算集合は、選択公理がなくても、整列可能

196: 2014/04/06(日) 20:36:41.60 AAS
>>195 ω_1 のような非加算順序数の場合は？整列順序を、論理式
x∈y∨x＝y で定義できると思うけど。