Gödel's incompleteness theorems
formula_15は、formula_14の無矛盾性を証明可能なのでゲーデルの不完全性定理より、formula_14より強い。