[過去ログ] 純粋・応用数学・数学隣接分野(含むガロア理論)20 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
760
(2): 06/30(月)12:25 ID:TPjENHty(1) AAS
定義より帰納的集合は
{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・
を元として含む。

無限集合を含むとは限らないわけですな。
761: 06/30(月)13:24 ID:hP9iLhqs(10/19) AAS
>>760
{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・のいずれも有限集合(n番目の元はn-1元集合)だからその通り。
尚、いかなる集合xについても x≠x∪{x} だから帰納的集合は無限集合。
766
(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/30(月)17:20 ID:OzgV+bVQ(3/3) AAS
>>760
>定義より帰納的集合は
>{},{{}},{{},{{}}},{{},{{}},{{},{{}}}},・・・
>を元として含む。
>無限集合を含むとは限らないわけですな。

ご苦労様です
結論から言えば、Yesだが・・
省29
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.038s