有些数学理论没有应用价值，所以，有些理论虽然在逻辑上严谨但是没有应用价值。以下能够保证上述推理成立的判断是（）

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