[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
808(2): 2020/11/08(日)12:16 ID:BM2uk/CN(1/4) AAS
>>795
>・”x∞={x∞}”の証明がない
x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。
x∞に一番外側の"{"と"}"が有るならそれらを外したものはx∞自身ですから正則性公理に反します。
これ以外のケース（例えば、有り且つ無い）はありませんから、結局x∞は集合の要件を満たしません。
>・x∞の極小元は、明らかに空集合Φ＝{}です。よって、正則性公理に反しないQED
いいえ、{}はx∞の元ではありません。
省4
820(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/08(日)22:51 ID:rSmWbt0i(9/11) AAS
>>808
どなたか知らないが、レスありがとう
>x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。
？？？
簡単に素朴集合論に戻るよ、例えば、下記 集合論 花木章秀で
”集合は「xに関する命題P(x)が真となるようなxの集まり」という形で記述される。
このとき、その集合を {x|P(x)} のように表す」という形で記述される”とあるよね
省30
821(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/08(日)23:10 ID:rSmWbt0i(10/11) AAS
>>808
どなたか知らないが、レスありがとう
>x∞に一番外側の"{"と"}"が有るならそれらを外したものはx∞自身ですから正則性公理に反します。
？？？
１．下記「正則性の公理は必ずしもZF公理系を拡張するために必要なものではない」とあるから、正則性公理を絶対視する必要ないと思うけど
２．されど 折角だから、正則性の公理、下記坪井明人 数理論理学ＩＩ ”空でない集合 x には ∈ に関して極小となる元 z ∈ x があること，を直観的には意味している．”とあるよね
３．シングルトンだから、集合を構成する要素は一つ。それ自身が、極小ですよ
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s