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= \emptyset, \quad 1=\{\emptyset\}, \quad 2=\{\emptyset, \{\emptyset\}\}, \quad 3=\{\emptyset, \{\emptyset\}, \{\emptyset, \{\emptyset\}\}\}, \dots $$
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.