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

Перайсьці да навігацыі Перайсьці да пошуку
→‎Тэарэтыка-мноственнае ўвядзеньне: артаграфія, тэрміналёгія
(→‎Тэарэтыка-мноственнае ўвядзеньне: артаграфія, тэрміналёгія)
== Тэарэтыка-мноственнае ўвядзеньне ==
 
Пашыраны натуральны радшэраг можна ўвесьці як [[магутнасьць]] канчаткованаканечнага мноства. У адрозьненьне ад аксіёматыкі Пэаны, натуральныя лікі тут адзначаюцьазначаюць не парадак, а колькасьць. Вось прыклад такога азначэньня:
 
:* 0 = { }
:* 2 = <nowiki>{0,1} = {0, {0}} = {{&nbsp;}, {{&nbsp;}}}</nowiki>
:* 3 = <nowiki>{0,1,2} = {0, {0}, {0, {0}}} = {{&nbsp;}, {{&nbsp;}}, {{&nbsp;}, {{&nbsp;}}}}</nowiki>
:* ''n'' = {0,1,2,...,''n''−2,''n''−1} = {0,1,2,...,''n''−2} ∪ {''n''−1} = (''n''−1) ∪ {''n''−1}
 
== Уласьцівасьці ==
601

зьмена

Навігацыйнае мэню