Přirozené číslo: Porovnání verzí

Odebrány 3 bajty ,  před 10 měsíci
m
m (oprava zobrazení)
V této definici je každé přirozené číslo množinou čísel menších než ono, tedy:
 
: 0 = {}
<pre>
: 1 = {0} = {{}}
: 2 = {0, 1} = {0, {0}} = {{}, {{}}}
2: 3 = {0, 1, 2} = {0, {0}, {0, {0}}} = {{}, {{}}, {{}, {{}}}}
: …atd.
3 = {0, 1, 2} = {0, {0}, {0, {0}}} = {{}, {{}}, {{}, {{}}}}
…atd.
</pre>
 
Tato definice souhlasí s intuitivním pojetím, že každé přirozené číslo ''n'' vyjadřuje mohutnost množiny o právě ''n'' prvcích.