Gödel's incompleteness theorems
ゲーデルの不完全性定理は、ロビンソン算術 の再帰的拡大（またはRE拡大）である理論 がω無矛盾（または無矛盾）であるとき、