nの値に関わらず、常にN(n+1)に含まれN(n)に含まれない元が存在する。
よってN(n+1)⊂N(n)は偽
n→∞とすると、
自然数全体の集合が自然数全体の集合の部分集合になりえないことが示された。