. . (), , , . , ( inductio - ).
, .
, - S1, S2,..., Sn, . :
:
1. S1
S2
Sn
2. S1, S2,..., Sn - ()
:
- , .. . - , .
, , , . . . - , , , , , ..
, , , .
: . .
- , .
, , ,
|
|
:
;
1) S1
S2
Sn
2) S1, S2,..., Sn -
:
. . , .
. . - , .
. , .
.
- , .
:
:
1) S1
S2
...............................
Sn
2) S1, S2...., Sn
;
, -,
, , - S1 Sn. . - . . , , , . . , - . , , - . , , - .
, .
- , . , , .
() . , .
|
|
, . : (1) , , (2) , .
, .
, .
: (1) () (2) ().
1.
, , - , () (), .
(S1, S2,..., Sn), ( ) .
. , , , , .
2. , , - , , .
- . , - - - . , , , : (1) , (2) , (3) (4) .
(1) , . , .
(2) , . , . .
3) . , , .
(4) , , . , , , . , .