>>362空集合公理で定義されている空集合{ }

これは自然数の公理で別物