空集公理

出自維基百科,自由嘅百科全書
跳去: 定向搵嘢

空集公理集合論裏面嘅一條基本公理,佢嘅意思係存在一個冇任何元素嘅集合,叫做空集

空集公理係子集公理並集公理冪集公理偶集公理嘅基礎,因為呢幾個公理講嘅都係點樣從已經有嘅集合構造出一個新嘅集合(喺集合論裏面,元素都係集合),但係只有空集公理保證咗集合嘅存在性。

形式陳述[編輯]

喺Zermelo-Fraenkel 公理嘅形式語言裏面,呢個公理讀成:

\exist A ,\forall x :\lnot (x \in A)

亦即係話有一個集合令到冇集合係佢嘅成員。