, . "" , , , .

- ( ), " " - . . . , , , , , . . ( " ") ( ).

- "", , , . - . - , . , "" "" . . . : ( "" -- - b), *.

______________

* . - , 25

445

- " " . . . , , . - . . "" "". , , , , , , , -- , , , . . . . -. - , ( , , . .); ( ). , : -- , -- . .

- ; , , .

, , . , , , , , .

. . " , , " (. . 7 ), . . , -. , . . -- , . -- . . , . - " ". - , , " ",

446

, )- , . . , " -- ", . - , , , . , ( ) , , ( , ) . , , , , . . , . . . . . - 26. , " " -- , - , , . , , , , , , ( -), .

, , , -. . . . , . . , .

, , . . . " " (1963)27 - . . , , , :

( ).

( , , .) , " ( -- , -- , -- , -

447

-- ) .

" , " (1965)28, " " (1966)29, " " (1966)30 . . . . . -, . . . . . , "" -, , , -, . . .

. . . :

, -- : , . --. , . -- . -- , , , -- -- ., -- -- . (quest).

, ( ) ( . . ). ( S --> S), (S vs. S) , , . ) -- :

( -- ),

448

-- ( ). , , ( ) . , . : ( -- ) , -- , -- () . ( ) , () ( ) . ( , , ) .

, , , , . . . ( , ):

: -- ( -- ); F -- (

-- ); -- ( -- ); p -- ; d -- ._ ( ) -- (

-- , a vs. (n o n a ), -- ( -- , a vs. ). ( - ). A1 -- , 2 -- -- , A3 -- , C1C2C3 -- , --

-- : , . . -- (1), (2; ) (3; ).

-- C1 C2 3. -- -- (C1 vs. C1).

-- -- (2 vs. C2). , , ( c2 vs. n c2 ). ,

449

, , (3 vs. 3).

, ( c2, , c1), . -- , . , ( , , - ) , . () : - ; . :

A = : , , , . , , "" , . , - , . , . .

-- , , A, ,

. , , . F . , : , , -- F, : . , . , , . ( -, - " ") , , . ( -- ).

450

, . . : , (. . ) (. . ). , -- "" "".

. . , . , . , , , , . "" ( "", , "", . . " ") : , .

, . . . - (, , . .). . , -- ( -). .

. , , , . . . . . ; . . , - . , , ?

451

-- , . "" , -- -- , . -- -- . , -- -- -- ( , -- ). , , :

, (), , .

, . , , ( . . ) . ( , , ) . , . , . -- - , , , , . . , , , , ( ). . , , . . , , . ( -) . , ,

452

. , "" , . .

. . , , . . ". , , , , . , ( , . . ) " ", .

, , . , , , - (). . . , , , , . , . . , " ", "", "". .

(, , , . .). , , , (. . . ): , . , (. , ), (. ). ( ; . ). (), (), ; , , , . .

, , , , ( ; . .). -

453

, . :

-

-

-

-

,

 

, . ( ) ( . . ) . . , . , . ( )32.

" " - . -, . . . 33, , . , , 34. " " . . 1940 . , , , (, , ) .

- . . " "35 . . " "36, " . "37.

, , (. . , . . ), , , , .. : --

454

, -- , -- , -- , -- , -- , , -- . , (, -- , -- , -- . .[ ]). .

, . , , ( ) , -- . . , : 1) ; 2) ( ); 3) -- ; 4) . - ( ), .

. . . , - " "38. fx(a):fy(b)::fx(b):fa-1(y), , QS:QR::FS:FR, QS -- QR -- ; FS -- ( , ), FR -- ,

, - , , . , , , ( I) ( ), , , ( III), , - ( IV). , III IV I II , , , , . , , , , , . ( , . . , , , -- , --

455

. , , , -- , .

39 IV I--II--III -- , ( , ) IV, -.

, , -- " " (1964 .). 40. -, , . - , , (, -; ), -- . , ( ) , (, . .), . , - , .

- , , , -. , , ( -- , . 41