「有限な自然数をすべて含む集合は無限集合である」

これって矛盾じゃないの?