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

, . , , , ( ). , , . - , . . (18721971), . (18611947) , - .

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

- -, -, , - - . (, ., R . - - , , . . 0 ; (00) ; , . .

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

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

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

: . . , - - .

- , . ˸ : ( ). , .

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

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

.: . . . . , 1938, . 4, . 2; . . . . , 1944, . 15, . 3; 3 . . . . , 1953, . 17, 1; . . . . , 1966, 1; ski A. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1936, y. 1;H ob inson A. Non-standard analysis. Proceedings of the Royal Academy of Sciences. 1961, ser. A, v. 64; . . .: . . . ., 1965; Fnk1 A. A., BarHillel Y. Foundations of set treory. Amsterdam, 1958.

. P. .

<< >>