Rosserのトリック
Gödelの第1不完全性定理におけるω無矛盾性を無矛盾性に弱めるテクニック．
J. Barkley Rosserによる．Gödel-Rosserの第1不完全性定理参照．