看板 [ Math ]
討論串[離散] 集合論的公設
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[離散] 集合論的公設
推噓2(2推 0噓 4→)留言6則，0人參與, 最新作者st1009 (前端攻城師)時間8年前 (2016/03/13 12:10), 8年前編輯資訊
1
0
0
內容預覽:
不好意思各位大大>///<. 我最近學習離散老師教給我集合論的十大公設，. 其中有一條礙於數學底子不過看不太懂，. 懇請各位大大出手相助!!. Replacement given a predicate P(u,v). ∀x∀u∀v(([P(x,u)ΛP(x,v)]->u=v)->∀w∃z∀v(v∈
(還有124個字)
#2
Re: [離散] 集合論的公設
推噓2(2推 0噓 1→)留言3則，0人參與, 最新作者ERT312 (312)時間8年前 (2016/03/13 18:19), 編輯資訊
0
0
1
內容預覽:
↑少了一個括號. 前面這句是說. 可以把P(u,v)看成一個函數 v=F(u). 後面那句是說. 認給 w 存在 z={F(u)| u∈w}. (z is the set of all the images of elements in w). 兩句合起來就是 Axiom of replacemen
(還有69個字)
首頁
上一頁
1
下一頁
尾頁