现代数理逻辑的四大分支是公理化集合论、证明论、模型论和哥德尔不完全性。() 此题为判断题(对，错)。
直觉主义的最重要缺陷是对哥德尔不完全性的否定。() 此题为判断题(对，错)。
不是所有的定律、定理都可以从直接的实践中得到证明，所以逻辑证明也是检验认识真理性的标准．【】
“所有的花都结果，并且有的果实有毒”以下哪项是上述命题的矛盾命题（）。A、有的花不结果B、有的果实没有毒C、有的花不结果，或者有的果实没有毒D、有的花不结果，或者所有的果实都没有毒
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
"有的疑问句是表达命题的语句"隐含的命题有（）。A、有的不表达命题的语句不是疑问语句B、有的表达命题的语句不是非疑问句C、有的疑问句不是表达命题的语句D、有的非疑问句不是表达命题
下列语句作为“复合命题”的定义或划分是否正确？为什么？ “复合命题就是包含两个以上简单命题的命题。它可以分为假言命题、选言命题和联言命题。”
分析下面丙的议论违反了哪些逻辑基本规律的要求？为什么？ 甲说：“语句都表达命题” 乙说：“有的语句不表达命题” 丙说：“甲和乙的观点都不正确，我认为唯有纯疑问句不表达命题”
勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？
哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念（）某种意义上，悖论的阴影将永远伴随着我们。
第一个证明了广义的连续统假设的相容性定理的人是（）A、伽罗瓦B、笛卡尔C、克莱因D、哥德尔
社会上普遍存在的公理.定理.经验概括.假设等都属于（）A、命题B、证明C、概念D、假设
悖论是必然存在的原理是（）A、哥德尔不完全定理B、黑箱理论C、耗散结构理论D、建构主义
说明真与可证是两个概念，可证一定是真的，真的不一定可证的理论是（）A、哥德尔不完全定理B、黑箱理论C、耗散结构理论D、建构主义
罗素的“理发师悖论”是指（）A、哥德尔不完全定理B、黑箱理论C、耗散结构理论D、建构主义
证明不完全性定理的人是（）A、伽罗瓦B、伯奈斯C、哥德尔D、爱因斯坦
单选题哥德尔不完备性定理是他在1931年提出来的。这一理论使数学基础研究发生了划时代的变化，更是现代逻辑史上很重要的一座里程碑。它证明了任何一个形式系统，只要包括了简单的初等数论描述，而且是（）的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。A逻辑B自洽C自主D自足
单选题李明极有可能是一位资深的逻辑学教师。李明像绝大多数资深的逻辑学教师一样，熟悉哥德尔的完全性定理和不完全性定理，而绝大多数不是资深的逻辑学教师的人并不熟悉这些定理。实际上，许多不是资深的逻辑学教师的人甚至没有听说过哥德尔。以下哪一项陈述准确地指出了上述推理的缺陷（）A忽视了这种可能性：大多数熟悉哥德尔这些定理的人不是资深的逻辑学教师。B忽视了这种可能性；有些资深的逻辑学教师不熟悉哥德尔的这些定理。C推理中“资深的”这一概念是模糊的概念。D不加证明就断定不熟悉哥德尔完全性定理和不完全性定理的人也没有听说过哥德尔。
单选题“所有的花都结果，并且有的果实有毒”以下哪项是上述命题的矛盾命题（）。A有的花不结果B有的果实没有毒C有的花不结果，或者有的果实没有毒D有的花不结果，或者所有的果实都没有毒
单选题第一个证明了广义的连续统假设的相容性定理的人是（）A伽罗瓦B笛卡尔C克莱因D哥德尔
填空题哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们：真与可证是两个概念（）某种意义上，悖论的阴影将永远伴随着我们。
单选题证明不完全性定理的人是（）A伽罗瓦B伯奈斯C哥德尔D爱因斯坦
单选题社会上普遍存在的公理.定理.经验概括.假设等都属于（）A命题B证明C概念D假设
单选题"有的疑问句是表达命题的语句"隐含的命题有（）。A有的不表达命题的语句不是疑问语句B有的表达命题的语句不是非疑问句C有的疑问句不是表达命题的语句D有的非疑问句不是表达命题
问答题勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？
问答题分析下面丙的议论违反了哪些逻辑基本规律的要求？为什么？ 甲说：“语句都表达命题” 乙说：“有的语句不表达命题” 丙说：“甲和乙的观点都不正确，我认为唯有纯疑问句不表达命题”