为什么说“一阶逻辑不是一种正确的推理理论”？

一阶逻辑是一种正确的推理理论。可以构造一阶逻辑的公理系统。
但一阶以上的逻辑，是不完备的（哥德尔）。
悖论不仅在一阶逻辑中会出现，在命题逻辑中也有（康托为此得了精神病）。

一阶逻辑的元逻辑定理
在公告板中列出了一些重要的元逻辑定理。
不像命题演算，一阶逻辑是不可判定性的。对于任意的公式 P，可以证实没有判定过程，判定 P 是否有效，(参见停机问题)。(结论独立的来自于邱奇和图灵。)
有效性的判定问题是半可判定的。按哥德尔不完备定理所展示的，对于任何有效的公式 P, P 是可证明的。
单体谓词逻辑(就是说，谓词只有一个参数的谓词逻辑)是可判定的。

所有的人都会呼吸 这句话还不知道是否正确，所以一阶逻辑不是一种正确的推理理论
因为它的前提只是人们的假设，还没证实是否正确

死人也可以?