ロッサーのからくり
これを証明するために、まずある論理式formula_3およびある数formula_74について、formula_75が成り立つならば、formula_1はformula_75を証明することを示す。これはゲーデルが第一不完全性定理の証明で行ったことと似たやり方で示される: formula_1は2つの具体的な自然数の関係であるformula_79を証明する。それからformula_74より小さなすべての自然数formula_811つ1つにわたり、それぞれのformula_81について、formula_1はやはり具体的な2つの自然数の関係であるformula_84を証明する。