I
. , , , , , . , (. , . , . ) - (. , . , . )1.
, - . - -
1 .: . . . ., 1967; . . . ., 1967; . . . ., 1968; . . . ., 1969; . . . ., 1969; . ., . . . -, 1971; . . . ., 1975; . . . , 1977; . . . , 1977; . . --. 1977.
26
, . , - , , . . , , . , , , , . . , .
. : , , , ? , . . , , , , 2.
|
|
, , , .
2 . . . , . 167.
27
, , , - . , , , , . , , .
, , , 3. , , . , , , , . XVII XIX . , 4.
3 , . . , (. : , ). , . , (. . . . ., 1972).
4 . , . . , . . , , , , , , , , , - ( , . 2. ., 1970, . 277).
|
|
28
, - , . ... , , 5, .
, , . , , . . , , 6.
, , - . .
, . , . . - , , ,
. XIX . . , , , ... , , , (Boole G. Collected Loqical Works, v. 2. Chicaqo - London, 1916, p. 13).
5 . , . 1. ., 1970, . 436.
6 . . I 2 (Beth . W. The Foundations of Mathematics. Amsterdam, 1959, p. 615).
29
7. , - , .
, , . , - , , , , - , . , , , , , . , - . , , .
, , - . . , . , , , . , , , , , , , . ,
|
|
7 . , . 1. ., 1981, . 17.
30
- 8.
, , , , , . , , , , 9. , , , , - . - .
, , , , , 10. , , , , . . , , .
,
8 . . . . , , . 1. ., 1971.
9 . . , XIX . , ( . . . . ., . 18, . 326).
10 . . . . 3- ., . 1. ., 1968, . 384-393.
31
, . , . , , , , .
, . , . . , , , , . , .
|
|
, . a priori, . , , , , , 12. , . ... a priori , . , ( , , ), , () !3.
11 . . . . . ., . 29, . 478.
12 . . . 6- ., . 3. ., 1964, . 88.
13 . , . 130-135, 600.
32
, () , , , . , a priori, . . . , . . , . , ( . .) , , , I4.
, , , - . . . . , , , , . , , , , .
, : , , . . ( ) . ... - 15, . .
14 . ., 1967, . 17
15 . ., 1965. . 17 19.
33
, (), ().
, . , . , , . , , , . , , (), .
, , , , 16. , , , , , . , , , .
|
|
( ) -
16 . . , , , (. . . ., 1914).
34
, 17. , , , ; I8. , , . . , (), ( ) , () - .
, , , , , - , , . , , , . , , , (, , ). , , , 19.
17 . . . .
18 , , , , , , . , , . , : ) ) , , .
19 . . . . ., 1973, . 40 42, 67 69.
35
, . , , . , , . . . , , , , . .
, . , . , , , . . , , 20. , , , . , . . .
, . ( ) , 21. , . -
20 . X. . ., 1969, . 36.
21 . , , .
36
, , , , 22, - . . . , .