Biraz kafa karıştırıcı ama yine de bu şekilde anlatacağım. Kümeler kuramında doğal sayılar şu şekilde tanımlanır: 0=∅,1={∅},2={∅,{∅}},3={∅,{∅},{∅,{∅}}},…
Böylelikle her n için, n kümesinin eleman sayısı n olur. A kümesinden herhangi bir n kümesine birebir ve örten bir fonksiyon varsa, A kümesine sonlu denir. Bu tanımla her sonlu kümenin bütün alt kümelerinin de sonlu olması gerektiği rahatça (yani biraz uğraşarak ama çok da zorlanmadan) gösterilebilir.