自然数を空集合から定義