空集同0其實有更深刻嘅關係，如果要用集合論嚟定義自然數嘅話，例如用Zermelo-Fraenkel集合論嘅話，0嘅定義就係空集，即係話，0唔單止係一個「數字」，佢仲係一個集合，而呢個集合就係空集。