[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
731
(1): 2019/12/14(土)09:14 ID:CsbquFhS(4/18) AAS
>>729
>無限集合の公理によりできる集合 M には、自然数Nに余分な(過剰)要素が存在する

「存在する」と言い切った瞬間、トンデモになる

無限集合の公理を満たすいかなる集合にも存在する「過剰」要素があるなら
共通部分をとったところで排除できないから

つまり、「過剰」要素を全くもたないものがある

>過剰要素は、有限の要素ではありえない
省15
734: 2019/12/14(土)09:40 ID:CsbquFhS(7/18) AAS
>>731
例えばノイマン型の無限公理を満たす集合の要素に
{{{}}}が入っていてもかまわない

ただその場合
{{{}}}∪{{{{}}}}={{{}},{{{}}}}
も要素として入っている必要はある

「過剰」要素とはそういう程度の他愛ない話
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.038s