空集公理

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

空集公理係子集公理、並集公理、冪集公理同偶集公理嘅基礎，因為呢幾個公理講嘅都係點樣從已經有嘅集合構造出一個新嘅集合，但係只有空集公理保證咗集合嘅存在性。

形式陳述
喺Zermelo-Fraenkel 公理嘅形式語言裏面，呢個公理讀成：

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

集合論

de:Zermelo-Fraenkel-Mengenlehre#Die Axiome von ZF und ZFC