現代数学の系譜　カントル　超限集合論2

現代数学の系譜　カントル　超限集合論2at MATH

現代数学の系譜　カントル　超限集合論2 - 暇つぶし2ch747:１３２人目の素数さん
20/03/27 07:42:23.78 asHKGG7T.net
>>681
＞１．しっぽの同値類は可能
＞２．決定番号を決めることは可能
３．どの決定番号でも、その先の尻尾をとることが常に可能
４．決定番号は整列順序により大小の比較が常に可能
したがって「箱入り無数目」は（100列が確定している場合）正しい

次ページ

続きを表示

1を表示