单项选择题 （）是一个从已确定断言产生出新断言的过程。

单项选择题 四大数学流派不包括（）。

单项选择题 逻辑系统的四大定理不包括（）。