单项选择题 （）是指必定有真假的语法正确的字符串。

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

单项选择题 一组不一致的前提（）推导出不一致的结论。