ロッサーのからくり
(1)の証明はゲーデルによる第一不完全性定理の証明と似ている: formula_1がformula_62を証明すると仮定する; すると上記により、formula_1がformula_100を証明することが従う。よってformula_1はformula_72も証明する。しかしformula_1はformula_62を証明すると仮定したから、これはformula_1が無矛盾ならばありえない。formula_1はformula_62を証明しないと結論せざるをえない。