[離散] 集合論的公設

看板Math作者st1009 (前端攻城師)時間8年前 (2016/03/13 12:10)推噓2(2推 0噓 4→)

留言6則, 2人參與討論串1/2 (看更多)

不好意思各位大大>///< 我最近學習離散老師教給我集合論的十大公設，其中有一條礙於數學底子不過看不太懂，懇請各位大大出手相助!! Replacement given a predicate P(u,v) ∀x∀u∀v(([P(x,u)ΛP(x,v)]->u=v)->∀w∃z∀v(v∈z iff ∃u[u∈wΛP(u,v)]) 就是這句，我該如何讀他，如何理解它呢? 尤其是P是什麼意思<(_ _)> -- 往昔所造諸罪業皆由無始貪瞋癡從身語意之所生... 一切，我今皆懺悔! -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.44.151.69 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1457842232.A.157.html

推

Pieteacher

03/13 16:53, , 1^F

03/13 16:53, 1^F

推

LPH66

03/13 18:09, , 2^F

03/13 18:09, 2^F

→

LPH66

03/13 18:11, , 3^F

03/13 18:11, 3^F