> > . .1
<<
>>
<< >>

, . .

( , ., ). , . . ( ) -. . 1 . . ; . (0 1 ). , : , , 0,1 , . ( ). , . , . . . . . , , ( ). , n , - - .

. , . , :

, . :

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

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

. . ø 1931. , - . - - , ., - , :

, - - g () h (, , z), , , ( ø) - . . , - -. ., - - ø- , , . . , - - -. -. . , , , ( , , , ). . (. ).

, ø, . ,

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

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

.: . . . . . ., 1973 [. . 451465], . . . . . ., 1961; Feferman S. Transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, 1962, v. 27, 3. H. . .

<< >>