ゲーデルの不完全性定理
例えば、ユークリッド幾何学の一階公理化理論、実閉体の理論、乗算が全域で可能なことを証明できないような算術理論、これらは何れもゲーデルの定理に必要な仮定を満たさない。要点は、これらの公理系では自然数の集合を定義することや自然数の基本的な性質を証明することができないことにある。三つ目の例に関して Dan E. Willard は第二不完全性定理に必要な仮定を満たさないような様々な弱い算術理論を調べた(例えば Willard 2001)。
ゲーデルの定理は実効的に生成された(即ち帰納的可算な)理論についてのみ適用できる。自然数に関する真である文を全て公理とするような理論を考えれば、この理論は無矛盾かつ完全であり、かつペアノ算術を含んでいる。これはゲーデルの定理と矛盾しない。何故ならこの理論は帰納的可算ではないからである。
第二不完全性定理が示すのは、ある公理系の無矛盾性はその公理系自身では証明できないということであって、他の無矛盾な公理系からも証明できないとは言っていない。例えば、ペアノ算術の無矛盾性はZFCから証明できるし、算術の理論にε0までの超限帰納法を加えて得られたゲンツェンによる無矛盾性の証明(英語版)もある。
田中はゲーデルの定理の様々な誤用を分類している。その一つは、人間の悟性が陥りやすい間違った傾向である。たとえば、自分が思いつく有意義そうな体系がどれも不完全であるので、「有意義な体系はすべて不完全である」と思い込み、さらにその原因を定理か何かに帰着させようとする傾向である。
別の誤用は、言語の誤用である。不完全性定理に含まれる「矛盾」「完全」「体系(システム)」などの語は、日常では多様に使われている。そこを混同すれば、ゲーデルの定理までが非形式的(インフォーマル)な意味と結び付けられる。