, , , . , , . 1 , , , 4.
4 .: . . .... ., , 1996.
( ) . , , . , , , , 5.
"" : , , ,... :
1) , ;
2) , . . , .
, "" . : (", ", : "'-"/), ("", : "&"); ("", : "v"); ("..., ...", :"->"). "~ ", " & ", " -> " . . : "~ -> & ","(~ -> & ) v ( -> )" . . .
, , . , " 2 2 = 4, " , " 2 2 = 5, " -
|
|
5 , . , . 30- : "( ) , ". . . ., 1948, . 20.
, . . , . , , , , " , ". , . ( ).
: , , z,.... ( ); , Q, R,..., : V-x- (" "), (" , "), . , , ": ( v ~ Qx)" " ( & Qx)" . .
, , , " ", : " , , ", "Vx ( () -> - ())". . " " , , , . . "". "Vx " , "Pa", "W . .
. . . "Principia Mathemafica" (19101913 .). 1921 . "- ". 1914 , , , . 1919 . , , , . , . , "", . ( 100 ) . '.
, "", , . , , , , , , . , . " , " 7, . , : " " *.
|
|
, . . , . , , . , "" , , , , .
, , , , " " 9, . , . " , , , , . , " 10. , -
6 , .: . . . ., 1972, " . " : . . . I, ., , 1994; . II, ., , 1994.
7 . - . ., 1958, . I, . 21. "", . . , -, , 1958 . , , .
8 ,5.36.
9 , 4.002.
10 . - . ., 1958, . I, 4.003.
, , . 11.
, . "" , "" .