Difarense intrà łe version de "Asioma"

5 byte xontai ,  7 anni fa
N\0 --> N\{0}
(N\0 --> N\{0})
Par definire l'insieme <math>\mathbb{N}</math> dei [[numàri naturałi]] xe necesàri dò ''conceti primitivi'' e il ''principio de indusiòn''. Sti 3 i forma i '''asiomi de Peano''':
# <math>\mathbb{N}</math> ga n'ełemento ciamà <math>0</math> (''xèro'').
# Ghe xe na funsiòn <math>s:\mathbb{N}\rightarrow\mathbb{N}</math>, dèta ''sucesìvo'', che ła xe iniètiva e tałe che <math>s ( \mathbb{N} ) = \mathbb{N} \backslash \{ 0\}</math>.
# Se <math>0\in M \subseteq \mathbb{N}</math> e se par ogni <math>n\in M</math> anca <math>s(n)\in M</math>, eora <math>M=\mathbb{N}</math> (''principio de indusiòn'').
 
319

contribusion

Traesto fora da Wikipèdia - L'ençiclopedia łìbara e cołaboradiva in łéngua Vèneta "https://vec.wikipedia.org/wiki/Speçałe:DiffMobile/554341"