Difarense intrà łe version de "Asioma"

1 byte cavà ,  1 anno fa
p
Sostitusion varie
p (Robot: Xonto {{Interprojeto}})
p (Sostitusion varie)
=== Asiomi de Peano ===
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èroxero'').
# 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'').
189 025

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/906781"