IUTを読むための用語集資料集スレat MATHIUTを読むための用語集資料集スレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト900:132人目の素数さん 20/11/08 11:21:40.48 bKzT4Sg/.net >>805 >順序数の Zermeloシングルトンωを、極限として、抽象的に定義すれば良い だからどう極限をとるんですか? 「抽象的」という言葉を「手順を示さず」と”誤解”してますか? >ωは、Zermelo法なら、集合としての濃度は1だ。 >そう定義すればいい。それで良いんじゃ無い? 定義できてないので全然良くないですね ぶっちゃけ最悪 それじゃIUTどころか 大学数学も無理ですよ 901:132人目の素数さん 20/11/08 12:16:29.45 BM2uk/CN.net >>795 >・”x∞={x∞}”の証明がない x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。 x∞に一番外側の"{"と"}"が有るならそれらを外したものはx∞自身ですから正則性公理に反します。 これ以外のケース(例えば、有り且つ無い)はありませんから、結局x∞は集合の要件を満たしません。 >・x∞の極小元は、明らかに空集合Φ={}です。よって、正則性公理に反しないQED いいえ、{}はx∞の元ではありません。 >・つーか、これ違う > ∵多分x∞の定義が違うだろうし、順序数と基数の∞との混同でしょう 定義は議論の出発点です。定義が違うと言われても意味不明です。 違う定義の議論をしたいならまずその定義を示して下さい。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch