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

, . . ø (. 1906) . . . . (. . , . .). , . . , , . - 2. . , 2, , . . ., 2 . , .

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

, . 2. :

: , 2, , 2 .

, - . , 2, . . ., , . , .

, . . , . . : . ; .

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

, . , (. . ) , , . , , . . . ( . .), . , ( , , , - 2, ). , . , , , . : . . , , , , , . , . . ø. . , , . (. ø ). , , . , . , , . . , :

. , . , . , . , . , . .: . . . . . ., 1973 [. . 451-465]; Fefer-m a n S. Arithetization of metamathematics in a general setting. Fundamenta mathematical, 1960, v. 49.

H. . .

<< >>