不定项选择

A.行为意义上的证明 
B.结果意义上的证明 
C.自由证明 
D.严格证明