[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)

純粋・応用数学・数学隣接分野（含むガロア理論）20 http://rio2016.5ch.net/test/read.cgi/math/1745503590/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

658: １３２人目の素数さん [] 2025/06/21(土) 09:16:26.57 ID:vzkn7e2Y >>653 >（注）：Ent( x ) の定義は、この直前にあるので、原文ご参照 >where Cl(Y) is the predicate "{} ∈ Y and ∀ y (y ∈ Y ⇒ y ∪ {y} ∈ Y)" より、Cl(Y)＝命題「Yは無限公理が存在を謳う集合である」 >let's define the predicate Ent(x) like:∀A (Cl(A)⇒x∈A) より、Ent(x)＝命題「xは無限公理が存在を謳うどの集合にも属す」 これを読んで君は「『無限公理が存在を謳う集合』の範囲が明示されてない！　『無限公理が存在を謳う集合』が尽くされてる保証が無い！」って発狂しないのかい？ｗ http://rio2016.5ch.net/test/read.cgi/math/1745503590/658

660: １３２人目の素数さん [] 2025/06/21(土) 09:33:21.35 ID:vzkn7e2Y >>658 自由変数があるからよりきちんと書けば >Cl(Y)＝命題「Yは無限公理が存在を謳う集合である」 Cl(Y)＝命題関数「Yは無限公理が存在を謳う集合である」 >Ent(x)＝命題「xは無限公理が存在を謳うどの集合にも属す」 Ent(x)＝命題関数「xは無限公理が存在を謳うどの集合にも属す」 http://rio2016.5ch.net/test/read.cgi/math/1745503590/660

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.040s