, . , (, , , 1998 .). , (, , ). , . , ( 1996 .) . . , , , . , , , , . , . , , , . - . . , . , , .
.
: / .. , . -, .
:
/ .. . , .
, , .
, . 5/7 , .( ). , . . . , , 4 , - . , . . , . . , . ( ) (/) . , (truistic/self proving) 5/7 , . , . (truistic/self proving) , , , , .
|
|
, , . . ( ).