, , . , , , . , , , , , , , , . , , . , , , . , . , . , . , .
, , , . , , , - , : -, ; -, . , , - . , , : , -, , ()[83]. , , , , . , , - , , . , [84]. - , , . , . , , , , (), -, [85]. , , , , : , , , [86].
|
|
, , . , ? , , , , . , . , , , .. (x,y), (x,y), (x,y), (x) ..
, , . , , . , , , . , , : (). , , , , . , , , [87]; , , .. , , , ., , . , , . , . , , , , , , . , , , , . , -.
|
|
. , , . , , , , , . . , , , ; . , . . , , , , , . ? , : 1) , 2) , . , , , . :
($ x)(fx × (y)(fy É x=y))
. : 1) , 2) , 3) , . :
($ x)(fx × (y)(fy É x=y)) × fa
, . , , , . , .
, , , (.. , , ), , .. , , , , , , .. . , . , , . , , .
. , , , ; , . , , , , . , . ,
|
|
($ x)(fx × (y)(fy É x=y)) × fa,
($ x)(fx × (y)(fy É x=y)) × ~ fa,
, ($ x) fx , .
, , . . IV , . , , , : IV , , . . , , , VI . ., , , , , , . , , , . . , IV , , , , , . , IV , .
, , . , , , , , . , , . , . , , (x) (x). : x, (x), (x). :
(i x) fx = (i x) gx,
(i x) x, 酒. , , .
, , , .. , . , , . , , . , , . , , , . , , , .
, . , .