無限公理が存在を主張する集合を帰納的集合と呼ぶ。
集合xが帰納的集合であることをφ(x)と表す。φ(I)とする。
{x∈I|∀y(φ(y)⇒x∈y)} は自然数全体の集合（要証明）。