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

'''Пурлăх хисепĕсем''' — шутлав ĕçĕнче йĕркеллĕ пулса тухакан [[хисеп]]сем.

Пурлăх хисепĕсен нумайлăхне çапла палăртаççĕ <math>\mathbb{N}</math>.

<math>X</math> хисепе ун ''хыççăнхи'' хисепе палăртма лартакан <math>S</math> [[функци]]не кĕртĕпĕр.

# Эхер <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</math> çирĕлетни <math>n=1 </math> (''индукци бази'') тĕрĕс шутланать тата кирек епле <math>n</math> чух тата <math>P(n)</math> тĕрĕс пулсан, <math>P(n+1)</math> '' та тĕрĕс пулĕ (индукциллĕ ăнкарту)'', '''ĕнтĕ''' <math>P(n)</math> тĕрĕс кирек епле <math>n</math>) пурлăх хисепĕсемшĕн.

Хăш чух, ют çĕр чĕлхисенчен куçарнă кĕнекесенче, пĕрремĕш тата виççĕмĕш аксиомăсенче <math>1</math> -на <math>0</math> çине яраççĕ.

Енчен те пурлăх хисепĕсен палăртăвне нуль кĕртнĕ пулсан, вара пурлăх хисепĕсен нумайлăхне çапла çыраççĕ <math>\mathbb{N}</math>, нульсăр <math>\mathbb{N}^*</math>.

* '''[[Степĕне хăпартни]]''' <math>a^b</math>, ăçта ''a'' — степĕнĕн тĕпĕ, ''b'' — степĕнĕн кăтартăвĕ. Эхер тĕпĕ тата кăтартăвĕ пурлăхлă, ĕнтĕвĕçĕмлĕ хисепĕ те пурлăхлă пулать.