(- ), . , ( , ) , .
, , , . , 2 3:
2, 3, +
. - 2. (3). . ( ). 5 .
. . a b. :
1. a.
2. b.
3. c:= a + b.
4. c.
, . , a b, , . , .
. , . , . . , . , . , .
:= + 1
,
a = a + 1
. 1 . 0 = 1.
. x y. . :
1. x.
2. y.
3. x < y, , .
- ( 3, ). , . , , . / .
. ( ), . . . , , .