第2不完全性定理はロビンソン算術にσ1論理式に対する数学的帰納法の公理図式を追加した体系(formula_73)を含んでいれば十分である。