单项选择题

A.一种人为的关于数学符号语言的规定
B.以客观规律为基础的定理或定律
C.以上两者说法兼而有之