Пурлăх хисепĕ: версисем пӗр-пӗринчен уйрӑлса тӑни
Контента кӑларса петӗмӗр Контента хушрӑмӑр
30-мĕш йĕрке:
:: эхер те <math>P(1)</math> тата <math>\forall n\;(P(n)\Rightarrow P(S(n)))</math> пулсан, çапла пулать <math>\forall n\;P(n)</math>
:: ('''Эхер''' хăш <math>P</math> çирĕлетни <math>n=1 </math> (''индукци бази'') тĕрĕс шутланать тата кирек епле <math>n</math> чух тата <math>P(n)</math> тĕрĕс пулсан, <math>P(n+1)</math> '' та тĕрĕс пулĕ (индукциллĕ ăнкарту)'', '''ĕнтĕ''' <math>P(n)</math>
=== Асăрхаттарни ===
| |||