" ", .. " ". , , ( 1963 ) ,[447] , , 1945 Journal of Symbolic Logic. , , , , . 1979 ,[448] " ", , .
, , , . . , , ( - ) . , , , , .
, - . , , , . , , . , , , . - " ", , , , .
, , , , , . , , , . , , . , ; , , .
|
|
. , , "à", "K". . "à " ", ", "K " ", "; " " "àK ". " , " :
àK . ( )
, , , , , , , . , . , , .
K . (I)
K( Ù ) (K Ù K ). (II)
1 9.3, , . - , . , , - , , , "" , . (II) . () " ", , . - . , 2, "" (. 9.3).
, - ( ), . :
Ù ~K .
, :
àK( Ù ~K ).
( II) :
à(K Ù K~K ).
, K~K 1 ( I) , (K~K ~K ), :
à(K Ù ~K ).
", " ! , , :
~( Ù ~K )
:
K .
: , () , , ! . , , . , , , .
|
|
? . ( ) . , : (1) , ; (2) .
, . , , . , . , ~( Ù ~K ) K , . , , , ( , ). , . , , . -, , ~( Ù ~K ), , . . , K , : ~K ~ . , , . - . , , - , , , , ? , . , , . , - , , . , , , - ad hoc, , , , . . , , .
, - () , . , . , , ""[449]. , , (K A) . :
àK , .
|
|
, Ù ~K . , , K( Ù ~K ) , Ù ~K . , , : -, , , ; -, , , , , , (, " "), , . . , " ", , , . , , , , , , , . , , : " , , . " , , .
, , . , . , ( ) . , , , . . , . , , .