单项选择题

A.所有在逻辑上严谨的理论都是数学理论
B.有些数学理论在逻辑上是严谨的
C.所有的数学理论在逻辑上都是严谨的
D.有些逻辑上严谨的理论是数学理论