( ) :
, () , .
(UCS) (NS), UCS, NS UCS ( ) NS ?
.
,
, . .
, .
, , :
(, ) , ,
() ,
, , , , , , .
. , . :
G. (): (x) (Ax > Bx); : A, x B.
.
, , , .
: (T) (F) (A):
A T, P F.
.. F, A T.
.
, , .
R1 , R2, , A F T R1 , R2.
() , . , ( ) .
. , , . , , ()
.