Přirozené číslo: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
Verze 8370489 uživatele 94.112.135.108 (diskuse) zrušena: ano, jistě, podle některých definic 0 není přirozená, ale jednak se neutrální prvek hodí, taky je to jen symbol |
||
Řádek 14:
Exaktní matematické definice množiny přirozených čísel jsou založeny na následujících [[axiom]]ech (tzv. [[Peanova aritmetika]]):
* Existuje číslo 0.
* Každé přirozené číslo ''
* Neexistuje přirozené číslo, jehož následníkem by byla 0.
* Různá přirozená čísla mají různé následníky: pokud ''a'' ≠ ''b'', pak ''S(a)'' ≠ ''S(b)''.
* Pokud nějakou vlastnost splňuje jak číslo 0, tak i každé číslo, které je následníkem nějakého čísla, které tuto vlastnost splňuje, pak tuto vlastnost splňují všechna přirozená čísla. (Tento axiom zajišťuje platnost [[Matematický důkaz|důkazů]] technikou [[Matematická indukce|matematické indukce]].)
(Poznámka: Číslo 0 v těchto postulátech nemusí odpovídat běžnému výkladu přirozeného čísla nula. 0 v této formální definici znamená pouze nějaký objekt, který spolu s funkcí následnosti splňuje Peanovy axiomy.)
== Konstrukce ==
Řádek 38 ⟶ 40:
…atd.<>
</code>
Tato definice je zcela intuitivní v tom smyslu, že každé přirozené číslo ''n'' je množinou o právě ''n'' prvcích.
| |||