空集公理

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

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

形式陳述

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

$\exists A,\forall x:\lnot (x\in A)$

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