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

, , . . . ø 1931. , , . ( ) . . , (.

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

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

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

, . , , . . , . , . - . -:

, - . ø , () , . , , - . , - (1) (2) , . , ø; , .

. . , , . , , . , . ø , .

, . -. ZF -, - . ZF. , ( , ø): ) , , , -; ) ZF. ZF : . , . , . . ., , ø .

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

.: . . . . . ., 1973 [. . 451-465); FefermanS. Arithmetization of metamathematics in a general setting. Pundamenta mathematicae, 1960, v. 49; P. . . . ., 1968 [. . 123]; . , . . . ., 1968 [. . 217 224]; ., . . ø. . . ., 1970.

. . .

<< >>