また、後述するとおり集合論における標準的な構成では、0を空集合として定義する。