Пурлăх хисепĕ: версисем пӗр-пӗринчен уйрӑлса тӑни

Контента кӑларса петӗмӗр Контента хушрӑмӑр
27-мĕш йĕрке:
# Эхер <math>S(b)=a</math> тата <math>S(c)=a</math>, çапла <math>b=c</math> (эхер пурлă хисеп <math>a</math> хыççăнах <math>b</math> хисеп хыççăнхи пекех, çаплах <math>c</math> хыççăн та пулать пулсан, ĕнтĕ <math>b=c</math>) пулать;
 
# # '''[[Пĕтĕмлĕ индукцийĕн аксиоми|Индукци аксиоми]]'''. Пултăр <math>P(n)</math> <math>n</math> хăш-пĕрпурлăх хисепĕнчен килекен пĕр выранлăвырăнлă [[предикат]], параметăра —пултăр. Вара:
:: эхер те <math>P(1)</math> тата <math>\forall n\ пулсан; (P(n)\Rightarrow P(S(n))) </math> пулсан, çапла пулать <math>\forall n\;P(n)</math>
пурлăх хисепне пăхăнса тăрать <math>n</math>. Вара:
 
:: <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> тĕрĕс кирек епле <math>n</math>) пурлăх хисепĕсемшĕн.