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

Перайсьці да навігацыі Перайсьці да пошуку
(→‎Літаратура: +літаратура)
Натуральнымі лікамі называюцца элемэнты ўсякага непустога мноства <math>\mathbb{N}</math>, у якім для нейкіх элемэнтаў <math>a</math> і <math>b</math> існуе адносіна "<math>b</math> накіроўваецца за <math>a</math> (пазначаецца як <math>a'</math>) і задавальняе наступным [[аксіёма]]м, якія атрымалі назву [[аксіёмы Пэана|аксіёмаў Пэана]]:
 
# існуе 1, якое няне накіроўваецца ні за аднымніводным элемэнтам,
# для любога <math>a</math> існуе <math>a'</math>, якое накіроўваецца за ім, пры чымпрычым толькі адно,
# любойлюбы элемэнт накіроўваецца ня больш чым за аднімадным элемэнтам,
# любое мноства <math>\mathbb{M}</math> з уласьцівасьцямі
#* 1 прыналежыць <math>\mathbb{M}</math>,
601

зьмена

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