>>598
ゲーデルの不完全性定理の系の1つとして、
以下の3つの属性を同時に満足するような
二階述語論理の推論体系は存在しない]。

（健全性）証明可能な二階述語論理の文は常に真である。
すなわち standard semantics に従ったあらゆるドメインで真である。
（完全性）standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。
（実効性）与えられた論理式の並びが妥当な証明かどうかを正しく決定できる証明検証アルゴリズムが存在する。

つまり
１．健全で実効的な二階論理の推論体系は不完全である
２．完全で実効的な二階論理の推論体系は不健全である
３．健全で完全な二階論理の推論体系は実効的でない

特に３は人間にとって致命的である
人間は二階論理を扱えないと宣告されたのだから

意味わかる？