計算模型を適当に算術化すれば、「プログラム "m" は入力 "x" のもとで停止する」という述語 "halt"("m","x")がσ1述語となるようにできる。