空集合があるなら空写像もあるの？ (91ﾚｽ)
空集合があるなら空写像もあるの？ http://rio2016.5ch.net/test/read.cgi/math/1728054661/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
87: １３２人目の素数さん [] 2025/10/31(金) 15:10:26.60 ID:l/bJN8T+ 一階(※1)の集合論が無矛盾ならば(※2)、xを任意に一つ固定したときに「xは集合である」という文は、証明可能・反証可能・証明も反証も不可能（集合論から独立）の3パターン存在する。 反証可能でないことはxが集合であるための必要条件。 証明可能であることはxが集合であるための十分条件(※3)。 ※1 高階の場合、文が証明可能であることと妥当な論理的帰結であることは同値でないのでより多くのパターンがある。 ※2 無矛盾性を前提しない場合、証明可能且つ反証可能というパターンもある。 ※3 必要十分条件ではない。なぜならその文が集合論から独立ならxが集合でないことは言えないから。 ゲーデルの不完全性定理より集合論が無矛盾なら集合論から独立な文が存在するから、「xは集合である」という文の真偽は常に決定可能ではない。 例えばZFC集合論が無矛盾なら「最小の無限順序数ωに対して |ω|<|x|<|2^ω| を満たす集合xは存在しない」という文（連続体仮説）はZFC集合論から独立。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/87
88: １３２人目の素数さん [] 2025/10/31(金) 16:55:55.71 ID:l/bJN8T+ 任意の集合A,B,Cにたいして A ⊂ B ⇔ A×C ⊂ B×C は言えるか。（配点３点）。 http://rio2016.5ch.net/test/read.cgi/math/1728054661/88
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.330s*