Setning 1: Almennar Turing vélar og einfaldar induktívar Turing vélar eru tveir flokkar af ofur-recursive tölfræði sem koma næst recursive tölfræði. Setning 2: Almennir Turing vélar og ofur-recursive Turing vélar eru tveir flokkar af einföldum innleiðandi tölfræði sem eru næst rekursive tölfræði. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Nei, ekki.