Натуральны лік: Розніца паміж версіямі
[недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др робат Мяняем: br:Niver naturel |
др r2.7.1) (робат Дадаем: bo:རང་བྱུང་གྲངས། |
||
Радок 29: | Радок 29: | ||
[[be-x-old:Натуральны лік]] |
[[be-x-old:Натуральны лік]] |
||
[[bg:Естествено число]] |
[[bg:Естествено число]] |
||
[[bo:རང་བྱུང་གྲངས།]] |
|||
[[br:Niver naturel]] |
[[br:Niver naturel]] |
||
[[bs:Prirodan broj]] |
[[bs:Prirodan broj]] |
Версія ад 16:54, 28 мая 2011
Натура́льны лік - любы з лікаў, што выкарыстоўваюцца пры пералічэнні.
Мноства натуральных лікаў абазначаецца сімвалам .
Больш фармальнае вызначэнне мноства натуральных лікаў (аксіёмы Пеана):
- 1 з'яўляецца натуральным лікам:
- кожны натуральны лік мае адзін натуральны лік, які з'яўляецца наступным да яго:
- 1 не з'яўляецца наступным ні да якога з натуральных лікаў:
- калі нейкі натуральны лік з'яўляецца наступным да двух натуральных лікаў, то гэтыя два лікі супадаюць:
- калі нейкая ўласцівасць P мае месца для 1, а таксама для любога S(n) пры ўмове, што яна справядлівая для n, то яна мае месца для ўсіх натральных лікаў:
Апошняя аксіёма з'яўляецца фармулёўкай прынцыпа поўнай індукцыі.
Апошнім часам назіраецца тэндэнцыя разглядаць у якасці найменшага натуральнага ліка не 1, а 0.