Натуральны лік: розьніца паміж вэрсіямі

Пашыраны натуральны радшэраг можна ўвесьці як [[магутнасьць]] канчаткованаканечнага мноства. У адрозьненьне ад аксіёматыкі Пэаны, натуральныя лікі тут адзначаюцьазначаюць не парадак, а колькасьць. Вось прыклад такога азначэньня:

:* ''n'' = {0,1,2,...,''n''−2,''n''−1} = {0,1,2,...,''n''−2} ∪ {''n''−1} = (''n''−1) ∪ {''n''−1}