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

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

在论证过程中，如果违反了论题方面的规则，就会犯（）。

• A、“论题模糊”的错误
• B、“预期理由”的错误
• C、“循环论证”的错误
• D、“诉诸权威”的错误
• E、“转移论题”的错误

如果对一类对象的全部有所肯定或否定，则对该类对象的（）也有所肯定或否定，这就是三段论的公理。