Наприклад: Означимо правила так : Тоді маємо Або можна означити правила так : Тоді маємо Можливо, найстаріше означення натуральних чисел — означення, звичайно приписуване Фреге та Расселу, в якому кожне конкретне натуральне число означене як множина всіх множин з елементами. Це означення може здатися нечітким, але насправді воно може бути строго переформульовано таким чином: